proxy.golang.org : github.com/EugeneLoy/coq_jupyter
Jupyter kernel for Coq
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/%21eugene%21loy/coq_jupyter
Keywords:
coq
, dependent-types
, jupyter
, jupyter-extension
, jupyter-kernels
, jupyter-notebook
, kernel
, proof-assistant
, python-pa
, theorem-proving
License: Apache-2.0
Latest release: over 1 year ago
First release: almost 7 years ago
Namespace: github.com/EugeneLoy
Stars: 95 on GitHub
Forks: 8 on GitHub
Total Commits: 148
Committers: 6
Average commits per author: 24.667
Development Distribution Score (DDS): 0.25
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 14 days ago