Awesome Open Source
Awesome Open Source
Combined Topics
theorem-proving x

The Top 88 Theorem Proving Open Source Projects on Github

Categories > Mathematics > Theorem Proving
1-88 of 88 projects

Related Projects

Coq Theorem Proving Projects (18)
Logic Theorem Proving Projects (13)
Dependent Types Theorem Proving Projects (12)
Lean Theorem Proving Projects (10)
Theorem Proving Proof Assistant Projects (9)
Python Theorem Proving Projects (9)
Theorem Proving First Order Logic Projects (8)
Verification Theorem Proving Projects (8)
Type Theory Theorem Proving Projects (7)
Formal Methods Theorem Proving Projects (7)
Agda Theorem Proving Projects (7)
Scala Theorem Proving Projects (6)
Ocaml Theorem Proving Projects (5)
Formal Verification Theorem Proving Projects (5)
Model Checking Theorem Proving Projects (5)
Haskell Theorem Proving Projects (5)
Mathematics Theorem Proving Projects (5)
Theorem Proving Prover Projects (4)
Theorem Proving Coq Formalization Projects (4)
Coq Theorem Proving Proof Assistant Projects (4)
Dependent Types Theorem Proving Proof Assistant Projects (4)
Verification Dependent Types Theorem Proving Projects (4)
Verification Lean Theorem Proving Projects (4)
Standard Ml Theorem Proving Projects (4)
Lambda Calculus Theorem Proving Projects (4)
Java Theorem Proving Projects (4)
Proof Theorem Proving Projects (4)
Dependent Types Type Theory Theorem Proving Projects (4)
Tex Theorem Proving Projects (4)
Prolog Theorem Proving Projects (4)
Theorem Proving Propositional Logic Projects (4)
Logic Theorem Proving Prover Projects (3)
Coq Dependent Types Theorem Proving Projects (3)
Programming Language Theorem Proving Projects (3)
Verification Dependent Types Type Theory Theorem Proving Projects (3)
Verification Type Theory Theorem Proving Projects (3)
C Plus Plus Theorem Proving Projects (3)
Theorem Proving Formal Proofs Projects (3)
Idris Theorem Proving Projects (3)
Machine Learning Theorem Proving Projects (3)
Rust Theorem Proving Projects (3)
Math Theorem Proving Projects (3)
Theorem Proving Reasoning Projects (3)
Smt Theorem Proving Projects (3)
Coq Formal Methods Theorem Proving Projects (3)
Logic Programming Theorem Proving Projects (3)
Theorem Proving Natural Deduction Projects (3)
Agda Type Theory Theorem Proving Projects (3)
Tutorial Theorem Proving Projects (3)
Formal Methods Theorem Proving Proof Assistant Projects (3)
Theorem Proving First Order Logic Prover Projects (2)
Theorem Proving Proof Assistant Prover Projects (2)
Ocaml Coq Theorem Proving Projects (2)
Ocaml Dependent Types Theorem Proving Projects (2)
Ocaml Dependent Types Theorem Proving Proof Assistant Projects (2)
Ocaml Theorem Proving Proof Assistant Projects (2)
Coq Dependent Types Theorem Proving Proof Assistant Projects (2)
Verification Lean Dependent Types Type Theory Theorem Proving Projects (2)
Verification Lean Dependent Types Theorem Proving Projects (2)
Verification Lean Type Theory Theorem Proving Projects (2)
Lean Theorem Proving Formal Proofs Projects (2)
Lean Theorem Proving Formal Mathematics Projects (2)
Theorem Proving Proof Automation Projects (2)
Theorem Proving Formal Mathematics Projects (2)
Standard Ml Theorem Proving Hol Projects (2)
Theorem Proving Higher Order Logic Projects (2)
Book Idris Theorem Proving Projects (2)
Book Theorem Proving Projects (2)
Computer Science Theorem Proving Projects (2)
Common Lisp Logic Theorem Proving Projects (2)
Common Lisp Theorem Proving Projects (2)