Awesome Open Source
Awesome Open Source
Combined Topics
coq x
lambda-calculus x

The Top 9 Coq Lambda Calculus Open Source Projects on Github

Categories > Mathematics > Lambda Calculus
1-9 of 9 projects

Related Projects

Coq Mathcomp Projects (37)
Ocaml Coq Projects (33)
Coq Ssreflect Projects (27)
Coq Formal Verification Projects (27)
Coq Mathcomp Ssreflect Projects (26)
Coq Verification Projects (20)
Coq Proof Projects (19)
Coq Proof Assistant Projects (19)
Coq Theorem Proving Projects (18)
Haskell Coq Projects (15)
Coq Formalization Projects (14)
Html Coq Projects (13)
Coq Type Theory Projects (12)
Javascript Coq Projects (12)
Coq Dependent Types Projects (11)
Coq Monad Projects (11)
Coq Formal Methods Projects (11)
Python Coq Projects (11)
Coq Separation Logic Projects (10)
Coq Fpga Projects (10)
Functional Programming Coq Projects (9)
Verilog Coq Projects (9)
Mathematics Coq Projects (8)
Coq Concurrency Projects (8)
Distributed Systems Coq Projects (7)
Coq Agda Projects (7)
Coq Category Theory Projects (6)
Compiler Coq Projects (6)
Emacs Coq Projects (6)
Coq Proof General Projects (6)
Tutorial Coq Projects (6)
Coq Opam Projects (6)
Distributed Systems Coq Proof Projects (5)
Library Coq Projects (5)
Coq Idris Projects (5)
Coq Reflection Projects (5)
Emacs Lisp Coq Projects (4)
Emacs Lisp Coq Proof General Projects (4)
Coq Theorem Proving Proof Assistant Projects (4)
C Coq Projects (4)
Coq Compcert Projects (4)
Translation Coq Projects (4)
Emacs Coq Proof General Projects (4)
Coq Metaprogramming Projects (4)
Book Coq Projects (4)
Programming Language Coq Projects (4)
Coq Typeclasses Projects (4)
Coq Hoare Logic Projects (4)
Scala Coq Projects (4)
Coq Set Theory Projects (4)
Lambda Calculus Coq Formalization Projects (3)
Coq Monad Transformers Projects (3)
Coq Dependent Types Theorem Proving Projects (3)
Coq Dependent Types Proof Assistant Projects (3)
Sql Coq Projects (3)
Distributed Systems Coq Proof Verdi Projects (3)
Distributed Systems Coq Verdi Projects (3)
Coq Proof Verdi Projects (3)
Coq Verdi Projects (3)
Coq Proof Assistant Integrated Development Environment Projects (3)
Coq Integrated Development Environment Projects (3)
Machine Learning Coq Projects (3)
Typescript Coq Projects (3)
Coq Formal Verification Type Theory Projects (3)
Coq Geometry Projects (3)
Python Coq Proof Assistant Projects (3)
Coq Serialization Projects (3)
Coq Hardware Projects (3)
Coq Hardware Formal Verification Projects (3)
Coq Category Projects (3)
Coq Certified Programming Projects (3)
Ocaml Coq Opam Projects (3)
Blockchain Coq Projects (3)
Coq Reflection Type Theory Projects (3)
Coq Semantic Projects (3)
Verilog Coq Fpga Projects (3)
Math Coq Projects (3)
Emacs Lisp Coq Proof Assistant Projects (2)
Emacs Lisp Coq Proof Assistant Integrated Development Environment Projects (2)
Ocaml Coq Dependent Types Projects (2)
Ocaml Coq Theorem Proving Projects (2)
Ocaml Coq Proof Assistant Projects (2)
Coq Dependent Types Theorem Proving Proof Assistant Projects (2)
C Coq Compcert Projects (2)
Coq Univalent Foundations Projects (2)
Hacktoberfest Coq Projects (2)
Coq Unimath Projects (2)
Html Translation Coq Projects (2)
Sql Coq Verification Projects (2)
Coq Lean Projects (2)
Emacs Lisp Coq Integrated Development Environment Projects (2)
Emacs Lisp Coq Integrated Development Environment Proof General Projects (2)
Machine Learning Coq Theorem Proving Projects (2)
Testing Coq Projects (2)
Programming Language Coq Dependent Types Projects (2)
Automation Coq Projects (2)