Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 The HOL reals Library
This is the online manual for the HOL reals library, included in the standard
release of the Cambridge HOL
system. It isn't a particularly good read, and
more information about the development can be found in the author's
paper.