Skip to content

finmap 1.0.0

Compare
Choose a tag to compare
@CohenCyril CohenCyril released this 08 Aug 08:19
· 149 commits to master since this release

finmap library

This is the initial release of the coq-mathcomp-finmap library, it contains a formal theory of finite sets, finite map, finitely supported functions, lattices, total and partial orders, and an experiment library for generic sets.

Compatiblity

Coq version 8.6.1, 8.7.2, 8.8.1 and dev, together with mathcomp 1.7.0 or dev