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: about 1 year ago - Stars: 2 - Forks: 9