package coq-unimath-dedekind
Aims to formalize a substantial body of mathematics using the univalent point of view
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.tar.gz
md5=1ed57c1028e227a309f428a6dc5f0866
Description
Published: 14 May 2019
Dependencies (4)
- coq-unimath-ktheory
- coq-unimath-foundations
-
coq
>= "8.5.0" & < "8.6" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page