Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Libraries Coq Open Source Projects

Open source projects categorized as Libraries Coq
Categories > Libraries > Libraries
Math Comp ⭐ 528
Mathematical Components
total releases 1most recent commit 3 months ago
Awesome Coq ⭐ 261
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
most recent commit 4 months ago
Foundations ⭐ 205
Voevodsky's original development of the univalent foundations of mathematics in Coq
most recent commit 10 years ago
Analysis ⭐ 174
Mathematical Components compliant Analysis Library
most recent commit 3 months ago
Coq Haskell ⭐ 159
A library for formalizing Haskell types and functions in Coq
most recent commit 6 months ago
Coq Ext Lib ⭐ 123
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
most recent commit 2 months ago
Coq Library Undecidability ⭐ 96
A library of mechanised undecidability proofs in the Coq proof assistant.
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
Metalib ⭐ 68
The Penn Locally Nameless Metatheory Library
most recent commit 5 months ago
Coq Proba ⭐ 48
A Probability Theory Library for the Coq Theorem Prover
most recent commit 7 months ago
Finmap ⭐ 46
Finite sets, finite maps, multisets and generic sets
most recent commit 3 months ago
Stdlib2 ⭐ 40
most recent commit 7 months ago
Tlc ⭐ 33
Library for Classical Coq
most recent commit 5 months ago
Coqprime ⭐ 33
Prime numbers for Coq
most recent commit 7 months ago
Color ⭐ 30
Coq library on rewriting theory and termination
most recent commit 6 months ago
Coq Simple Io ⭐ 28
IO for Gallina
most recent commit 5 months ago
Dblib ⭐ 25
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
most recent commit 3 years ago
Fcsl Pcm ⭐ 22
Partial Commutative Monoids
most recent commit a year ago
Hott Categories ⭐ 19
A category theory library built on top of Homotopy Type Theory, by Jason Gross
most recent commit 10 years ago
Coq Library Complexity ⭐ 18
most recent commit 9 months ago
Multinomials ⭐ 14
Multinomials for the Mathematical Components library.
most recent commit 3 months ago
Coq Utils ⭐ 12
Some basic libraries for Coq.
most recent commit 3 years ago
Coq Topology ⭐ 11
Topology library for Coq
most recent commit 8 years 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.