Next:
Definitions
Up:
Formalizing Constructive Real Analysis
Previous:
Introduction
Real Analysis in Nuprl
Definitions
Well-Formedness and Functionality
Some Theorems
The Intermediate Value Theorem
nuprl project
Wed Nov 22 13:20:21 EST 1995