theorem-prover topic
tool_lists
Links to tools by subject
yices2
The Yices SMT Solver
acl2
ACL2 System and Books as Maintained by the Community
cicada-solo
Cicada Language (solo version)
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Kind1
A next-gen functional language
curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
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.
toysolver
My sandbox for experimenting with solver algorithms.