Coq OPAMcoq-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
- "ocaml" "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