The 1986 book Implementing Mathematics with the NuPRL proof development system is available online and as printable version
There are also draft notes from a 1985 lecture, when Nuprl had just come out.
NuPRL 5 Manual, Chapter 1: Introduction (Draft)
NuPRL 5 Manual, Chapter 2: A quick overview (Draft)
NuPRL 5 Manual, Chapter 3: Running Nuprl (Draft)
NuPRL 5 Manual, Appendix A: The Basic Nuprl Type Theory (Draft)
NuPRL 5 Manual, Appendix B: Introduction to Nuprl ML (Draft)
The NuPRL 4 manual is also still a good source of information
NuPRL 4 tutorial
NuPRL ML manual
If you understand German, you may want to look up my 1995 course notes on Automated Logic and Programming
A preliminary version of that course in 1991 had an English manuscript. The later sections of this manuscript were never completed though
			Back to overview of courses

This page is still under construction.