News for hackers. Stuff that matters.

A comment on Calculus for mathematicians (1997) [pdf]. Parent comment

Re:Calculus for mathematicians (1997) [pdf] by cottonseed on Thursday May 28, 2015 @05:55AM (#9617016)
The Coq standard library formalizes real analysis. Have a look at the "Reals" section:

https://coq.inria.fr/library/

[ Parent | on HN ]

There are no comments on this comment yet.