pypi.org : acl2-kernel
Jupyter Kernel for ACL2
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/acl2-kernel
Keywords:
acl2
, jupyter
, jupyter-kernel
, theorem-prover
License: Apache-2.0
Latest release: almost 4 years ago
First release: over 5 years ago
Dependent repositories: 1
Downloads: 167 last month
Stars: 5 on GitHub
Forks: 1 on GitHub
Total Commits: 58
Committers: 4
Average commits per author: 14.5
Development Distribution Score (DDS): 0.448
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/tani
Last synced: 10 days ago