Awesome Open Source
Awesome Open Source
Combined Topics
proof-assistant x

The Top 65 Proof Assistant Open Source Projects on Github

Categories > Programming Languages > Proof Assistant
1-65 of 65 projects

Related Projects

Coq Proof Assistant Projects (19)
Dependent Types Proof Assistant Projects (15)
Ocaml Proof Assistant Projects (11)
Theorem Proving Proof Assistant Projects (10)
Haskell Proof Assistant Projects (10)
Type Theory Proof Assistant Projects (10)
Logic Proof Assistant Projects (9)
Agda Proof Assistant Projects (6)
Javascript Proof Assistant Projects (5)
Programming Language Proof Assistant Projects (5)
Formal Verification Proof Assistant Projects (5)
Python Proof Assistant Projects (5)
Formal Methods Proof Assistant Projects (5)
Coq Theorem Proving Proof Assistant Projects (4)
Dependent Types Theorem Proving Proof Assistant Projects (4)
Programming Language Dependent Types Proof Assistant Projects (4)
Haskell Dependent Types Proof Assistant Projects (4)
Proof Assistant Cubical Type Theory Projects (4)
Dependent Types Type Theory Proof Assistant Projects (4)
Isabelle Proof Assistant Projects (4)
Proof Assistant Theorem Prover Projects (4)
Proof Assistant Formal Proofs Projects (3)
Ocaml Dependent Types Proof Assistant Projects (3)
Coq Dependent Types Proof Assistant Projects (3)
Haskell Type Theory Proof Assistant Projects (3)
Html Proof Assistant Projects (3)
Coq Proof Assistant Integrated Development Environment Projects (3)
Proof Assistant Integrated Development Environment Projects (3)
Verification Proof Assistant Projects (3)
Python Coq Proof Assistant Projects (3)
Proof Assistant Interactive Theorem Proving Projects (3)
Tex Proof Assistant Projects (3)
Formal Methods Theorem Proving Proof Assistant Projects (3)
Theorem Proving Proof Assistant Prover Projects (2)
Emacs Lisp Coq Proof Assistant Projects (2)
Emacs Lisp Coq Proof Assistant Integrated Development Environment Projects (2)
Javascript Logic Proof Assistant Projects (2)
Ocaml Coq Proof Assistant 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)
Haskell Programming Language Dependent Types Type Theory Proof Assistant Projects (2)
Haskell Programming Language Dependent Types Proof Assistant Projects (2)
Haskell Programming Language Type Theory Proof Assistant Projects (2)
Haskell Programming Language Proof Assistant Projects (2)
Emacs Lisp Proof Assistant Projects (2)
Emacs Lisp Proof Assistant Integrated Development Environment Projects (2)
Standard Ml Type Theory Proof Assistant Projects (2)
Standard Ml Proof Assistant Projects (2)
Proof Assistant Nuprl Projects (2)
Mathematics Logic Proof Assistant Projects (2)
Mathematics Proof Assistant Projects (2)
Ocaml Type Theory Proof Assistant Projects (2)
Ocaml Proof Assistant Cubical Type Theory Projects (2)
Dependent Types Proof Assistant Logical Framework Projects (2)
Proof Assistant Logical Framework Projects (2)
Haskell Dependent Types Type Theory Proof Assistant Projects (2)
Programming Language Dependent Types Type Theory Proof Assistant Projects (2)
Proof Assistant Homotopy Type Theory Projects (2)
Rust Dependent Types Proof Assistant Projects (2)
Rust Proof Assistant Projects (2)
Isabelle Proof Assistant Hol Projects (2)
Isabelle Proof Assistant Interactive Theorem Proving Projects (2)
Ocaml Logic Proof Assistant Projects (2)
Proof Assistant Hol Projects (2)
Haskell Monad Proof Assistant Projects (2)
Monad Proof Assistant Projects (2)
Lean Proof Assistant Projects (2)
Typescript Proof Assistant Projects (2)
Proof Assistant Proofs Projects (2)
Proof Assistant Dependent Type Theory Projects (2)
Beginner Agda Proof Assistant Projects (2)
Beginner Proof Assistant Projects (2)
Tex Agda Proof Assistant Projects (2)
Haskell Agda Type Theory Proof Assistant Projects (2)
Haskell Agda Proof Assistant Projects (2)
Tutorial Coq Class Formal Methods Proof Assistant Projects (2)