https://gitlab.inria.fr/gappa/coq

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
https://gitlab.inria.fr/gappa/coq

Last synced: about 1 month ago
JSON representation

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

• Host: gitlab.inria.fr
• URL: https://gitlab.inria.fr/gappa/coq
• Owner: gappa
• License: other
• Created: 2019-03-01T09:17:49.153Z (almost 6 years ago)
• Default Branch: master
• Last Synced: 2024-08-21T07:31:12.796Z (5 months ago)
• Stars: 0
• Forks: 3
• Open Issues:

Awesome Lists containing this project

• awesome-coq - Gappa - Tactic for discharging goals about floating-point arithmetic and round-off errors. (Projects / Plugins)