package coq-extructures
Finite sets, maps, and other data structures with extensional reasoning
Install
Dune Dependency
Authors
Maintainers
Sources
v0.6.0.tar.gz
sha512=63147dd7979aec0334c37c0debbd64fd28551bb068544ee6c1a1ffa7454d62a3fbb0853f7b74e66aba444cc3cf4f72b85a3781d67d16cbe08280ee361a4b9648
Description
Tags
keyword:finite maps keyword:extensionality category:Computer Science/Data Types and Data Structures logpath:extructuresPublished: 20 Oct 2026
Dependencies (2)
-
coq-deriving
(>= "0.2.3") -
coq-mathcomp-ssreflect
(>= "2.5.0" & < "2.7~")
Dev Dependencies (1)
-
coq
(>= "9.0" & < "9.3~") | (= "dev")
Used by (1)
Conflicts
None
On This Page