Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 5 Algebra Coq Open Source Projects

Open source projects categorized as Algebra Coq
Categories > Mathematics > Algebra
Relation Algebra ⭐ 39
Relation algebra library for Coq
most recent commit 6 months ago
Gaia ⭐ 24
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
most recent commit 5 months ago
Ct ⭐ 8
My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
most recent commit 5 years ago
Hott Algebra ⭐ 6
Coq formalisation of algebra in Homotopy Type Theory
most recent commit 7 years ago
Relation Algebra ⭐ 5
Archived because maintained upstream.
most recent commit 6 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.