Coq OPAMcoq-mathcomp-finmap
Finite sets, finite maps, finitely supported functions
opam install coq-mathcomp-finmap.1.5.1
- homepage
- https://github.com/math-comp/finmap
- license
- CECILL-B
- bugs tracker
- https://github.com/math-comp/finmap/issues
- dependencies
- "coq" {(>= "8.10" & < "8.14~") | (= "dev")} "coq-mathcomp-ssreflect" {(>= "1.11.0" & < "1.13~") | (= "dev")} "coq-mathcomp-bigenough" {>= "1.0.0"}
- source
- https://github.com/math-comp/finmap/archive/1.5.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.1