coquelicot/coquelicot

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

dernière synchronisation: il y a presque 2 ans - étoiles: 2 - forks: 9