There are 1 repository under prover topic.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Cicada Language (solo version)
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, clauses, etc.
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Cicada Language (PLCT little team)
A community-developed re-implementation of the Starkware Stone Prover
Python Symbolic Information Theoretic Inequality Prover
[frozen] Scheduling and running jobs on a shared computer, then analyse their output
An awesome list of prover mechanism resources of the zk ecosystem
An implementation of a propositional logic resolution prover in Rust.
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
State of project before the move from Ant to Gradle
A natural deduction prover in Gentzen's system.
A kernel using inference rules in order to compute the three of proves.
A simple automated theorem prover written in Haskell
An interpreter for an imperative language and a Hoare logic prover