Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Mathematics Coq Open Source Projects

Open source projects categorized as Mathematics Coq
Categories > Mathematics > Mathematics
Unimath ⭐ 888
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
most recent commit 3 months ago
Awesome Coq ⭐ 232
A curated list of awesome Coq frameworks, libraries and software.
most recent commit 3 months ago
Hott Intro ⭐ 169
An introductory course to Homotopy Type Theory
most recent commit 4 years ago
Math Classes ⭐ 157
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
most recent commit 12 days ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Set Theory ⭐ 54
Coq encoding of ZFC and formalization of the textbook Elements of Set Theory
most recent commit 3 years ago
Coq Big O ⭐ 34
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
most recent commit 7 years ago
Gaia ⭐ 24
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
most recent commit 4 months ago
Isarmathlib ⭐ 16
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
most recent commit 4 months ago
Hottclasses ⭐ 12
Like Math Classes but for HoTT
most recent commit 4 years ago
Math Formalizations ⭐ 8
Formalization of some elementary mathematical theories in Coq
most recent commit 4 years 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
Corn ⭐ 5
most recent commit 12 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.