 The Nuprl project has its own  <a href="http://www.cs.cornell.edu/Info/Projects/NuPrl/nuprl.html"> World-Wide Web home page </a>. From here, you can access documentation on  Nuprl and communicate with a live Nuprl session that has some basic  theories loaded. This collection of Nuprl pages still needs further work on it to make it more accessible. I or someone else will get round to paying some attention to this, sometime in the next month or two. <p>
