Vincent Laporte 6a69a25c56 Adds coq-interval ... This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant. Homepage: http://coq-interval.gforge.inria.fr/		2014-12-08 09:15:13 +01:00
..
bedrock
containers
coq-ext-lib
coqeal
domains
flocq	coq-flocq: license	2014-12-07 13:14:33 +01:00
heq
interval	Adds coq-interval	2014-12-08 09:15:13 +01:00
mathcomp
paco
ssreflect
tlc
unimath
ynot