14 results for “topic:acl2”
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
Build ACL2s from a Nix flake
JM's ACL2 playground
Recopilación de cursos de razonamiento automático.
A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system
A Virtual Joystick using Zedboard and ACL2 Accelerometer
University of Oklahoma Senior Capstone Project - Functional Programming an Email Client/Server system with ACL2 Theorems