Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | ssreflect, mathcomp: fix build | Vincent Laporte | 2016-01-04 |
| | |||
* | coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 | John Wiegley | 2015-12-20 |
| | | | | | | See the INSTALL file in the mathcomp package for instructions on upgrading projects from 1.5 to 1.6. The 1.6 version works with both Coq 8.4 and 8.5. | ||
* | ssreflect, mathcomp: better package names | Vincent Laporte | 2015-06-19 |
| | |||
* | coq-mathcomp: refactor | Vincent Laporte | 2015-06-19 |
| | |||
* | coq-mathcomp: also build and install the documentation | Vincent Laporte | 2015-06-19 |
| | |||
* | coq_8_5: New expression | John Wiegley | 2015-04-26 |
| | |||
* | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 2014-10-13 |
| | |||
* | Adds three coq libraries: containers, mathcomp, ssreflect | Vincent Laporte | 2014-09-28 |
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/ |