coq-interval 4.3.0 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.