coquelicot/coquelicot

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

dernière synchronisation: il y a environ un an - étoiles: 2 - forks: 9