ACL2-kernel

NOASSERTIONJupyter Notebook

A Jupyter kernel for the ACL2 theorem prover, enabling interactive computational logic development in notebooks.

GitHub

8 stars3 forks0 contributors

Overview

Jupyter Kernel for ACL2

Related Projects

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.

Submit a project Star on GitHub

3 months ago

CreatedSince 2020

Built With

uv

Included in

Common Lisp2.9k

Auto-fetched 3 days ago

Proofpad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

Stars11

Forks3

Last commit2 years ago

PVS

, the Prototype Verification System, and NASAlib, a collection of formal development libraries

Stars0

Forks0

Last commit

Proceedings of the 19th International Workshop on the ACL2 theorem prover and its applications, 2025 (PDF)

a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models

Stars0

Forks0

Last commit

ACL2-kernel

Overview

Related Projects

Found a gem we're missing?

Tags

Built With

Included in