5 commits

Author	SHA1	Message	Date
John Wiegley	f78f2a90d6	coqPackages.ssreflect, more: build ssrcoq binary, add maintainer	2014-10-13 16:11:33 -05:00
John Wiegley	f310d73ac1	coqPackages.containers: set broken to false	2014-10-11 13:02:22 -05:00
John Wiegley	a064080d8c	coqPackages.containers: correct sha256 for the tarball	2014-10-11 13:00:22 -05:00
Vincent Laporte	01c6d8569f	coq-containers: package is broken	2014-10-01 18:39:31 +01:00
Vincent Laporte	c30c5f7cf3	Adds three coq libraries: containers, mathcomp, ssreflect ... Containers is a reimplementation of the FSets/FMaps library from the standard library, using typeclasses. Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4 The Mathematical Components (mathcomp) contains advanced theory files covering a wide spectrum of mathematics. Homepage: http://ssr.msr-inria.inria.fr/ Ssreflect is a proof language (plugin for Coq) and a small set of core theory libraries about boolean, natural numbers, sequences, decidable equality and finite types. Homepage: http://ssr.msr-inria.inria.fr/	2014-09-28 14:03:15 +01:00