finmap
by math-comp
Finite sets, finite maps, multisets and generic sets
AI summary
Choice type map library
A Coq library that provides support for finite sets and maps on choice types
- stars
- 47
- forks
- 28
- watching
- 16
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Math Library
A comprehensive library of formalized mathematical theories
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Coq library image
Provides Docker images for a Coq proof assistant library
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Tactic library
A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions
Data analysis tools
Tools for determining and working with finite data structures in a proof assistant.
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Polynomial algebra library
A library providing a monomial algebra framework for polynomials over ring structures.
Algebra library
A Coq library providing algebraic data structures and algorithms
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions finmap.
