Mentions légales du service

Skip to content
C

CoqInterval

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