There are 14 repositories under theorem-prover topic.
A next-gen functional language
Links to tools by subject
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
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
Cicada Language (solo version)
Large Scale Type Systems (programming language)
Cicada Language (PLCT little team)
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
Python Symbolic Information Theoretic Inequality Prover
An SMT Solver for string constraints
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Anders: Cubical Type Checker
Experiments with interactive theorem provers, LLMs and formal systems
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
Autonomous Theorem Prover for First Order Predicate Logic