ACL2 System and Books as Maintained by the Community
-
Updated
Sep 12, 2024 - Common Lisp
ACL2 System and Books as Maintained by the Community
A Docker image for the ACL2 theorem proving system and books
Jupyter Kernel for ACL2
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
an ACL2 style theorem prover with structural diff, embedded in scheme.
Recopilación de cursos de razonamiento automático.
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems
Add a description, image, and links to the acl2 topic page so that developers can more easily learn about it.
To associate your repository with the acl2 topic, visit your repo's landing page and select "manage topics."