coq-coqeal-refinements

A refinement framework (for algebra)

opam install coq-coqeal-refinements.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-coqeal-theory" {>= "0.9.0"}
source
https://github.com/Barbichu/CoqEAL/raw/master/release/CoqEAL_refinements.0.9.1.tgz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqeal-refinements/coq-coqeal-refinements.0.9.1