coqinterval/interval

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

dernière synchronisation: il y a 7 mois - étoiles: 2 - forks: 4