Coq_jupyter vs Vscode Jupyter

Vscode JupyterCoq_jupyter
Stars1,16989
Downloads
Dependent Packages2
Dependent Repos1
Most Recent Commit2 months ago2 months ago
Total Releases210
Latest ReleaseOctober 03, 2022January 28, 2022
Open Issues37912
Licensemitapache-2.0
Programming LanguageTypeScriptPython