Projects in Awesome Lists tagged with acl2
A curated list of projects in awesome lists tagged with acl2 .
https://github.com/acl2/acl2
ACL2 System and Books as Maintained by the Community
acl2 common-lisp first-order-logic formal-methods formal-verification logic rewriting theorem-prover theorem-proving
Last synced: 20 Mar 2025
https://github.com/tani/acl2-kernel
Jupyter Kernel for ACL2
acl2 jupyter jupyter-kernel theorem-prover
Last synced: 14 Apr 2025
https://github.com/zchn/eth-acl2
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
acl2 ethereum evm formal-methods formalization proofs verification
Last synced: 11 May 2025
https://github.com/xieyuheng/skolem
an ACL2 style theorem prover with structural diff, embedded in scheme.
acl2 prover scheme structural-diff
Last synced: 04 Apr 2025
https://github.com/jaalonso/cursos_de_ra
Recopilación de cursos de razonamiento automático.
acl2 agda automated-reasoning coq courses interactive-theorem-proving isabelle-hol lean otter proof-assistant prover9 pvs
Last synced: 27 Mar 2025
