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
Various forms of distribution for the Starkware Stone prover and verifier
An awesome list of prover mechanism resources of the zk ecosystem
[frozen] Scheduling and running jobs on a shared computer, then analyse their output
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