Finmap
Rocq Prover2.2.3
A Coq library extending Mathematical Components with finite sets, finite maps, and multisets on choicetypes.
51 stars29 forks0 contributors
Overview
Finite sets, finite maps, multisets and generic sets
Related Projects
Homotopy Type TheoryA Coq library for Homotopy Type Theory
Stars1,388
Forks202
Last commit4 days ago
UniMathThis rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Stars1,009
Forks187
Last commit3 days ago
Category Theory in CoqAn axiom-free formalization of category theory in Coq for personal study and practical work
Stars802
Forks80
Last commit26 days ago
AnalysisMathematical Components compliant Analysis Library
Stars244
Forks68
Last commit4 days ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.