Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 5 Topology Coq Open Source Projects

Open source projects categorized as Topology Coq
Categories > Mapping > Topology
Topology ⭐ 45
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cra
most recent commit 6 months ago
Topology ⭐ 28
Formal topology (and some probability) in Coq
most recent commit 5 years ago
Coq Topology ⭐ 11
Topology library for Coq
most recent commit 8 years ago
Valuations ⭐ 9
Synthetic Topology in Homotopy Type Theory for probabilstic programming
most recent commit 6 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
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.