Here are
10 public repositories
matching this topic...
ACL2 System and Books as Maintained by the Community
Updated
Dec 4, 2024
Common Lisp
Updated
Aug 30, 2024
Jupyter Notebook
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Updated
Aug 12, 2022
Common Lisp
A Docker image for the ACL2 theorem proving system and books
Updated
Oct 10, 2024
Dockerfile
an ACL2 style theorem prover with structural diff, embedded in scheme.
Updated
Mar 17, 2019
Scheme
Recopilación de cursos de razonamiento automático.
Build ACL2s from a Nix flake
Updated
Aug 9, 2023
Common Lisp
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
Updated
Jan 2, 2024
Dockerfile
University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems
Updated
Apr 9, 2015
Common Lisp
Improve this page
Add a description, image, and links to the
acl2
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
acl2
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.