coq-ssreflect

The Small Scale Reflection extension.

opam install coq-ssreflect.1.5.1~beta2
homepage
http://ssr.msr-inria.inria.fr/
license
CeCILL-B
bugs tracker
dependencies
coq = 8.5~beta2
source
http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.coq85beta2.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ssreflect/coq-ssreflect.1.5.1~beta2