costa-group / forves
☆12Updated 5 months ago
Alternatives and similar repositories for forves:
Users that are interested in forves are comparing it to the libraries listed below
- Verify Cairo contracts in Lean 4☆13Updated this week
- Formalized Cryptography Proofs in Lean 4☆28Updated this week
- A foundational framework for modular cryptographic proofs in Coq