package coq-coqeal-theory
The theory needed by the CoqEAL refinement framework library
Install
Dune Dependency
Authors
Maintainers
Sources
CoqEAL_theory.0.9.1.tgz
md5=3b85194a65e80a763cfc2f067092efc8
Description
Tags
category:Mathematics/Algebra keyword:effective algebra keyword:elementary divisor rings keyword:Smith normal form keyword:mathematical components keyword:Bareiss logpath:CoqEAL_theoryPublished: 25 Nov 2015
Dependencies (3)
-
coq-mathcomp-algebra
>= "1.6" -
coq-mathcomp-ssreflect
>= "1.6" -
coq
>= "8.4pl4" & < "8.5~"
Dev Dependencies
None
Used by (2)
Conflicts
None
On This Page