prover topic
cicada-solo
Cicada Language (solo version)
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.
zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...
ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
pyprover
Resolution theorem proving for predicate logic in pure Python.
mc2
[research] A modular SMT solver in OCaml, based on mcSAT
cicada-plct
Cicada Language (PLCT little team)
pebble-stark
A community-developed re-implementation of the Starkware Stone Prover
psitip
Python Symbolic Information Theoretic Inequality Prover