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

The Top 94 Theorem Proving Open Source Projects on Github

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

Related Projects

Coq Theorem Proving Projects (21)
Logic Theorem Proving Projects (13)
Dependent Types Theorem Proving Projects (12)
Lean Theorem Proving Projects (12)
Python Theorem Proving Projects (12)
Theorem Proving Proof Assistant Projects (10)
Theorem Proving First Order Logic Projects (9)
Verification Theorem Proving Projects (9)
Type Theory Theorem Proving Projects (8)
Formal Methods Theorem Proving Projects (7)
Model Checking Theorem Proving Projects (7)
Agda Theorem Proving Projects (7)
Scala Theorem Proving Projects (6)
Mathematics Theorem Proving Projects (6)
Theorem Proving Prover Projects (5)
Ocaml Theorem Proving Projects (5)
Verification Dependent Types Theorem Proving Projects (5)
Verification Lean Theorem Proving Projects (5)
Formal Verification Theorem Proving Projects (5)
Java Theorem Proving Projects (5)
Dependent Types Type Theory Theorem Proving Projects (5)
Math Theorem Proving Projects (5)
Tex Theorem Proving Projects (5)
Model Checking Theorem Proving Tlaplus Projects (5)
Theorem Proving Tlaplus Projects (5)
Haskell Theorem Proving Projects (5)
Theorem Proving Coq Formalization Projects (4)
Coq Theorem Proving Proof Assistant Projects (4)
Dependent Types Theorem Proving Proof Assistant Projects (4)
Verification Dependent Types Type Theory Theorem Proving Projects (4)
Verification Type Theory Theorem Proving Projects (4)
Standard Ml Theorem Proving Projects (4)
Lambda Calculus Theorem Proving Projects (4)
Proof Theorem Proving Projects (4)
Prolog Theorem Proving Projects (4)
Theorem Proving Propositional Logic Projects (4)
Theorem Proving First Order Logic Prover Projects (3)
Logic Theorem Proving Prover Projects (3)
Coq Dependent Types Theorem Proving Projects (3)
Programming Language Theorem Proving Projects (3)
C Plus Plus Theorem Proving Projects (3)
Verification Lean Dependent Types Type Theory Theorem Proving Projects (3)
Verification Lean Dependent Types Theorem Proving Projects (3)
Verification Lean Type Theory 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)
Theorem Proving Set Theory Projects (3)
Python Theorem Proving First Order Logic Projects (3)
Theorem Proving Reasoning Projects (3)
Coq Formal Methods Theorem Proving Projects (3)
Smt Theorem Proving Projects (3)
Isabelle Theorem Proving Projects (3)
Logic Programming Theorem Proving Projects (3)
Tex Model Checking Theorem Proving Projects (3)
Tex Model Checking Theorem Proving Tlaplus Projects (3)
Tex Model Checking Theorem Proving Tlaplus Tlc Projects (3)
Tex Model Checking Theorem Proving Tlaplus Tlaps Projects (3)
Tex Model Checking Theorem Proving Tlaplus Lamport Specifying Systems Projects (3)
Tex Model Checking Theorem Proving Tlaplus Tla Hyperbook Projects (3)
Tex Model Checking Theorem Proving Tlaplus Video Course Projects (3)
Tex Model Checking Theorem Proving Tlc Projects (3)
Tex Model Checking Theorem Proving Tlc Tlaps Projects (3)
Tex Model Checking Theorem Proving Tlc Lamport Specifying Systems Projects (3)
Tex Model Checking Theorem Proving Tlc Tla Hyperbook Projects (3)
Tex Model Checking Theorem Proving Tlc Tlaplus Video Course Projects (3)
Tex Model Checking Theorem Proving Tlaps Projects (3)
Tex Model Checking Theorem Proving Tlaps Lamport Specifying Systems Projects (3)
Tex Model Checking Theorem Proving Tlaps Tla Hyperbook Projects (3)
Tex Model Checking Theorem Proving Tlaps Tlaplus Video Course Projects (3)
Tex Model Checking Theorem Proving Lamport Specifying Systems Projects (3)
Tex Model Checking Theorem Proving Lamport Specifying Systems Tla Hyperbook Projects (3)
Theorem Proving Natural Deduction Projects (3)
Agda Type Theory Theorem Proving Projects (3)
Python Theorem Proving Prover Projects (2)
Python Theorem Proving First Order Logic Prover Projects (2)