There are 2 repositories under automated-theorem-provers 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.
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
A Language for the Specification and Efficient Implementation of Type Systems
クヌース・ベンディックス完備化アルゴリズムの OCaml 実装
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
Work-in-progress. Small helper Python functions I made while working for LaiTeP in NOVA (Laboratory for Augmented Intelligence in Theorem Proving). ProverX is an extension of Prover9 and is automated theorem prover available at http://proverx.com
This is a repository for my Master's thesis LaTeX source.
Basic tableau prover written in ocaml
Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic
Automated theorem prover for Reasoning @ UoB