package coq-fpmods
A short constructive formalization of finitely presented modules
Install
Dune Dependency
Authors
Maintainers
Sources
fpmods.0.2.tgz
md5=431a7352bb66432c307651d7702ecaef
Description
Dependencies (3)
-
coq-coqeal-theory
>= "0.9.0" -
coq
>= "8.4pl4" & < "8.5~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page