Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.9.6
https://docs.gitlab.com/releases/18/gitlab-18-9-released/

I

interval

Project information

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

1,083 Commits
9 Branches
39 Tags

README
CeCILL-C Free Software License Agreement
CHANGELOG

Created on

April 22, 2021

Loading