Nuprl 5 Documentation
Nuprl 5 Manual (complete) pdf;
ps
Nuprl 5 Manual (chapter by chapter):
- Chapter 1:
Introduction pdf
ps
- Chapter 2:
A Quick Overview pdf
ps
- Chapter 3:
Running Nuprl 5 pdf
ps
- Chapter 4:
The Navigator and the
Top Loops pdf
ps
- Chapter 5:
Editing Terms pdf
ps
- Chapter 6:
Interactive Proof Development
pdf
ps
- Chapter 7:
Definition and Presentation of Terms
pdf
ps
- Chapter 8:
Rules and Tactics
pdf
ps
- Appendix A:
The Basic Nuprl Type Theory
pdf
ps
- Appendix B:
Introduction to Nuprl ML pdf
ps
