coq-interval 3.4.1 Coq tactics to simplify inequality proofs
Interval provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
- Website: http://coq-interval.gforge.inria.fr/
- License: CeCILL-C
- Package source: coq.scm
- Patches: None
- Builds: x86_64-linux, i686-linux