Coq_jupyter vs Pyscript

PyscriptCoq_jupyter
Stars70789
Downloads
Dependent Packages
Dependent Repos1
Most Recent Commit4 months ago2 months ago
Total Releases10
Latest ReleaseJanuary 28, 2022
Open Issues4912
Licenseapache-2.0apache-2.0
Programming LanguagePythonPython