package coq-void
MathComp instances for the empty type (Empty_set)
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.0.tar.gz
sha512=43184305ef9d76dae9cc2c8a4cfc4cf6f6689aa8c37e113e5ec338868a874821a02909ff3da7a93c92b2640bbd2e4610fe0c7c576f402bce5b73ea623e27ef4e
Description
Tags
keyword:empty type keyword:class instances category:Computer Science/Data Types and Data Structures date:2019-10-08 logpath:voidPublished: 08 Oct 2019
Dependencies (3)
-
coq-mathcomp-ssreflect
>= "1.9" & < "1.10~" -
coq
>= "8.9" & < "8.13~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page