gitlab.inria.fr / coquelicot 1 Repository
A Coq formalization of real analysis compatible with the standard library.
coquelicot/coquelicot
A Coq formalization of real analysis compatible with the standard library.
Last synced at: 7 months ago - Stars: 2 - Forks: 9