Pyscript | Coq_jupyter | |
---|---|---|
Stars | 707 | 89 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | 1 | |
Most Recent Commit | 4 months ago | 2 months ago |
Total Releases | 10 | |
Latest Release | January 28, 2022 | |
Open Issues | 49 | 12 |
License | apache-2.0 | apache-2.0 |
Programming Language | Python | Python |