Ipykernel | Coq_jupyter | |
---|---|---|
Stars | 598 | 89 |
Downloads | ||
Dependent Packages | 38 | |
Dependent Repos | 1 | |
Most Recent Commit | 3 months ago | 3 months ago |
Total Releases | 70 | 10 |
Latest Release | August 04, 2023 | January 28, 2022 |
Open Issues | 270 | 12 |
License | bsd-3-clause | apache-2.0 |
Programming Language | Python | Python |