coq-ssreflect

The Small Scale Reflection extension

opam install coq-ssreflect.1.5.0
homepage
http://ssr.msr-inria.inria.fr/
license
CeCILL-B
bugs tracker
dependencies
"ocaml" "coq" {>= "8.4pl4" & < "8.5~" & != "8.4.6~camlp4"}
source
https://github.com/math-comp/math-comp/releases/download/archive/ssreflect-1.5.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ssreflect/coq-ssreflect.1.5.0