coq-coqeal-theory

The theory needed by the refinement framework library.

opam install coq-coqeal-theory.0.9.1
homepage
http://www.maximedenes.fr/content/coqeal-coq-effective-algebra-library
license
MIT
bugs tracker
dependencies
coq (>= 8.4pl4 & < 8.5~) & (coq-math-comp >= 1.5 | (coq-mathcomp-ssreflect >= 1.6 & coq-mathcomp-algebra >= 1.6))
source
https://github.com/Barbichu/CoqEAL/raw/master/release/CoqEAL_theory.0.9.1.tgz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqeal-theory/coq-coqeal-theory.0.9.1