0 "prover" Awesome Lists
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover
377 stars
13 forks
721 projects
Last updated: 24 Mar 2026
awesome-prover-mechanisms
An awesome list of prover mechanism resources of the zk ecosystem
awesome-list aztec ethereum mechanism-design polygon-zkevm prover scroll starknet taiko zkrollup
8 stars
2 forks
69 projects
Last updated: 26 Aug 2025