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: 10 months 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 (about 7 years ago)
• Default Branch: master
• Last Synced: 2024-11-27T08:03:32.745Z (over 1 year 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)