https://gitlab.inria.fr/coquelicot/coquelicot

A Coq formalization of real analysis compatible with the standard library.
https://gitlab.inria.fr/coquelicot/coquelicot

Last synced: about 1 month ago
JSON representation

A Coq formalization of real analysis compatible with the standard library.

• Host: gitlab.inria.fr
• URL: https://gitlab.inria.fr/coquelicot/coquelicot
• Owner: coquelicot
• License: other
• Created: 2019-03-15T15:41:03.601Z (almost 6 years ago)
• Default Branch: master
• Last Synced: 2024-08-21T07:31:12.904Z (5 months ago)
• Stars: 2
• Forks: 8
• Open Issues:

Awesome Lists containing this project

• awesome-coq - Coquelicot - Formalization of classical real analysis compatible with the standard library and focusing on usability. (Projects / Type Theory and Mathematics)