Mentions légales du service

I

interval

Project information

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

1,291 Commits
20 Branches
58 Tags

README
CeCILL-C Free Software License Agreement
CHANGELOG
GitLab Pages

Created on

April 05, 2019

Loading