Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 29 Jun 2024
![](https://github.com/zchn.png)
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: 27 Jun 2024
![](https://github.com/acl2.png)
https://github.com/tani/acl2-kernel
Jupyter Kernel for ACL2
acl2 jupyter jupyter-kernel theorem-prover
Last synced: 09 Apr 2024
![](https://github.com/tani.png)