http://www.cs.cornell.edu/Info/Projects/NuPrl/html/nuprldocs.html
Nuprl 4.1 Tutorial
Implementing Mathematics with the Nuprl Proof Development System
Return to Main Index