ACL2 System and Books as Maintained by the Community
-
Updated
Aug 19, 2024 - Common Lisp
ACL2 System and Books as Maintained by the Community
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.
A Docker image for the ACL2 theorem proving system and books
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."