Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.11.3.

C

CoqInterval

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

Subgroups and projects
Shared projects
Shared groups
Inactive
Recent searches

You don't have any recent searches
Name
Created date
Updated date
Stars

I

interval

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

2
1 month ago