https://gitlab.inria.fr/flocq/flocq

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
https://gitlab.inria.fr/flocq/flocq

Last synced: about 1 month ago
JSON representation

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

• Host: gitlab.inria.fr
• URL: https://gitlab.inria.fr/flocq/flocq
• Owner: flocq
• License: other
• Created: 2017-11-14T16:27:00.185Z (about 7 years ago)
• Default Branch: master
• Last Synced: 2024-08-21T07:31:12.162Z (5 months ago)
• Stars: 4
• Forks: 5
• Open Issues:

Awesome Lists containing this project

• awesome-coq - Flocq - Formalization of floating-point numbers and computations. (Projects / Libraries)