coq-math-comp

Mathematical Components.

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