coq-mathcomp-finmap release 1.2.1

Compatible with both mathcomp 1.8.0 and 1.9.0

coq-mathcomp-finmap release 1.2.0

Various improvements, taking advantage of mathcomp 1.8.0

coq-mathcomp-finmap release 1.1.0

• Simplified finmempred
• Bigops for finsets and multisets
• new syntax for finitely supported functions
• more locking

finmap 1.0.0

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