4 ms·
The Coq standard library formalizes real analysis. Have a look at the "Reals" section: https://coq.inria.fr/library/ https://coq.inria.fr/library/
by cottonseed 11y ago
The Coq standard library formalizes real analysis. Have a look at the "Reals" section:
https://coq.inria.fr/library/ https://coq.inria.fr/library/