An exhaustive list of all Rust resources regarding automated or semi-aut...
An automatic theorem prover in OCaml for typed higher-order logic with e...
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Resolution theorem proving for predicate logic in pure Python.
A community-developed re-implementation of the Starkware Stone Prover
[research] A modular SMT solver in OCaml, based on mcSAT