A next-gen functional language
Links to tools by subject
The Yices SMT Solver
ACL2 System and Books as Maintained by the Community
A repository to store Z3-python scripts you can use as examples, reminde...
An exhaustive list of all Rust resources regarding automated or semi-aut...
Automatic code generation for Scala functions and expressions via the Cu...
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation...
My sandbox for experimenting with solver algorithms.
a theorem prover for intuitionistic propositional logic in Idris, with m...
Tableau-based Theorem Prover for Natural Logic and Language
Resolution theorem proving for predicate logic in pure Python.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (rel...
A classical propositional theorem prover in Haskell, using Wang's Algori...
An SMT Solver for string constraints