http://www.cs.cornell.edu/Info/Projects/NuPrl/html/browsertop.html
The Nuprl proof libraries consist of theorems grouped into theories. If you want to start at the beginning with a list of available theories, click the box below:
If you know the name of a particular theory or theorem you'd like to examine, you can fill out and submit the following form. Please specify either a Theory or Theorem by clicking the diamond-shaped box next to the appropriate choice:
The Nuprl system provides a hypertext interface to prepared documents that use hypertext references to existing Nuprl objects. You may begin using the hypertext interface by clicking the box below:
Information about Nuprl/WWW Browser Parameters
Some Helpful Hints and Common User Problems
Read User Guide for Nuprl/WWW Browser
Nuprl Project / nuprl@cs.cornell.edu