coqinterval/interval

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Last synced at: 8 months ago - Stars: 2 - Forks: 4