coq-mathcomp-finmap

Finite sets, finite maps, finitely supported functions, orders

opam install coq-mathcomp-finmap.1.5.0
homepage
https://github.com/math-comp/finmap
license
CECILL-B
bugs tracker
https://github.com/math-comp/finmap/issues
dependencies
"coq" {(>= "8.7" & < "8.13~")} "coq-mathcomp-ssreflect" {(>= "1.11" & < "1.12~")} "coq-mathcomp-bigenough" {(>= "1.0.0" & < "1.1~")}
source
https://github.com/math-comp/finmap/archive/1.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.0