theorem-prover topic
List
theorem-prover repositories
tool_lists
360
Stars
82
Forks
Watchers
Links to tools by subject
yices2
355
Stars
45
Forks
Watchers
The Yices SMT Solver
acl2
343
Stars
96
Forks
Watchers
ACL2 System and Books as Maintained by the Community
cicada-solo
125
Stars
5
Forks
Watchers
Cicada Language (solo version)
coqhammer
208
Stars
29
Forks
Watchers
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Kind1
3.5k
Stars
142
Forks
Watchers
A next-gen functional language
curryhoward
255
Stars
15
Forks
Watchers
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
hezarfen
118
Stars
3
Forks
Watchers
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
awesome-rust-formalized-reasoning
279
Stars
9
Forks
Watchers
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
toysolver
152
Stars
11
Forks
Watchers
My sandbox for experimenting with solver algorithms.