Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://gitlab.inria.fr/coqinterval/interval
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
https://gitlab.inria.fr/coqinterval/interval
Last synced: about 1 month ago
JSON representation
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
- Host: gitlab.inria.fr
- URL: https://gitlab.inria.fr/coqinterval/interval
- Owner: coqinterval
- License: cecill-c
- Created: 2019-04-05T12:15:11.113Z (almost 6 years ago)
- Default Branch: master
- Last Synced: 2024-11-27T08:03:32.745Z (about 2 months ago)
- Stars: 2
- Forks: 4
- Open Issues:
Awesome Lists containing this project
- awesome-coq - CoqInterval - Tactics for performing proofs of inequalities on expressions of real numbers. (Projects / Libraries)