Enterprise_gateway | Coq_jupyter | |
---|---|---|
Stars | 605 | 89 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | 1 | |
Most Recent Commit | 20 days ago | 2 months ago |
Total Releases | 40 | 10 |
Latest Release | March 18, 2023 | January 28, 2022 |
Open Issues | 75 | 12 |
License | other | apache-2.0 |
Programming Language | Python | Python |