Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Coq Formalization Open Source Projects

Open source projects categorized as Coq Formalization
Categories > Formalization
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Geocoq ⭐ 157
A formalization of geometry in Coq based on Tarski's axiom system
most recent commit 6 months ago
Formal Type Theory ⭐ 72
Formalising Type Theory in a modular way for translations between type theories
most recent commit 6 years ago
Bonak ⭐ 26
🧊 An indexed construction of semi-simplicial and semi-cubical types
most recent commit 3 months ago
System F ⭐ 18
Formalization of the polymorphic lambda calculus and its parametricity theorem
most recent commit 5 years ago
Coq Guarded Computational Type Theory ⭐ 17
most recent commit 6 years ago
Autosubst2 ⭐ 13
Official repository of the Autosubst 2 project.
most recent commit 2 years ago
Math Formalizations ⭐ 8
Formalization of some elementary mathematical theories in Coq
most recent commit 4 years ago
Core Erlang Formalization ⭐ 8
most recent commit 4 months ago
Coq Wigderson ⭐ 7
Formalization of Wigderson's graph coloring algorithm in Coq
most recent commit 6 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.