ACL2 System and Books as Maintained by the Community
A Docker image for running the ACL2 theorem proving system and books in JupyterLab.
Jupyter Kernel for ACL2
A Docker image for the ACL2 theorem proving system and books
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.
A exercise on theorem proving, design and correctness of a floating point adder in ACL2
Verification of simple programs for a stack based machine in ACL2
Ready-to-run copy of Milawa on Jitawa
Recreates directory listed by tree(1) with ACL2 theorem proving
A Virtual Joystick using Zedboard and ACL2 Accelerometer
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
Recopilación de cursos de razonamiento automático.
ACL2 support for the Iris Number System and the Unified Field Theory
University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems
To associate your repository with the acl2 topic, visit your repo's landing page and select "manage topics."