Acl2
3 projects
Showing 3 of 3 projects
J-BobScheme
A lightweight proof assistant for teaching and exploring formal verification, accompanying The Little Prover book.
#racket#functional-programming#educational
Stars436
Forks66
Last commit2 years ago
ProofpadTypeScript
A web IDE for ACL2 theorem proving with a Kubernetes-based backend, featuring a modern editor and REPL interface.
#theorem-proving#kubernetes#repl
Stars12
Forks3
Last commit2 years ago
ACL2-kernelJupyter Notebook
A Jupyter kernel for the ACL2 theorem prover, enabling interactive computational logic development in notebooks.
#jupyter-kernel#interactive-computing#theorem-prover
Stars8
Forks3
Last commit6 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.