Vscode Jupyter | Coq_jupyter | |
---|---|---|
Stars | 1,169 | 89 |
Downloads | ||
Dependent Packages | 2 | |
Dependent Repos | 1 | |
Most Recent Commit | 2 months ago | 2 months ago |
Total Releases | 2 | 10 |
Latest Release | October 03, 2022 | January 28, 2022 |
Open Issues | 379 | 12 |
License | mit | apache-2.0 |
Programming Language | TypeScript | Python |