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
..
default.nix