prover
There are 36 repositories under prover topic.
newca12/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.
sneeuwballen/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, clauses, etc.
cicada-lang/cicada-solo
Cicada Language (solo version)
baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
cicada-lang/cicada-plct
Cicada Language (PLCT little team)
evhub/pyprover
Resolution theorem proving for predicate logic in pure Python.
thor314/pebble-stark
A community-developed re-implementation of the Starkware Stone Prover
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
c-cube/mc2
[research] A modular SMT solver in OCaml, based on mcSAT
cheuktingli/psitip
Python Symbolic Information Theoretic Inequality Prover
c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
IBM/ULKB
A HOL-based framework for reasoning over knowledge graphs
iosis-tech/zetina
Shared peer-to-peer network of zero-knowledge provers
dipdup-io/stone-packaging
Various forms of distribution for the Starkware Stone prover and verifier
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
aztek/atp
Haskell interface to automated theorem provers
niluferokay/awesome-prover-mechanisms
An awesome list of prover mechanism resources of the zk ecosystem
geometer/sandbox
Geometer's Sandbox project repo
c-cube/frog-utils
[frozen] Scheduling and running jobs on a shared computer, then analyse their output
ExcaliburZero/resolution-prover
An implementation of a propositional logic resolution prover in Rust.
kaicho8636/pyprover
Python-based theorem prover
konstantinosKokos/neural-proof-nets
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
moratori/clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
xieyuheng/skolem
an ACL2 style theorem prover with structural diff, embedded in scheme.
cofound/ProverAi
Prover Engine
olbat/robinson-prover
Prover based on Robinson system
rikosellic/ZFC-prover-in-Coq
A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
sazare/cheaplogic
analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
TecMF/GraphProver
A graph based prover.
Variable-Value/TrueJWithAntBeforeGradle
State of project before the move from Ant to Gradle
9Y0/NaturalDeduction
A natural deduction prover in Gentzen's system.
jacobleygonie/CasualTheoremProver
A kernel using inference rules in order to compute the three of proves.
rohitanwar/Ostara
A simple automated theorem prover written in Haskell
SauzeauYannis/LS-Projet
An interpreter for an imperative language and a Hoare logic prover