http://www.cs.cornell.edu/Info/Projects/NuPrl/html/intro.html Nuprl 4 Automated Reasoning System Browser

Introduction to Nuprl

Nuprl Project - Computer Science Department at Cornell University


System Requirements

To use the Nuprl/WWW Browser, you should have a World Wide Web client (HTML browser) that can display inlined GIF and XBM format images and supports HTML Fill-Out Forms. NCSA Mosaic for X-Windows is one such client. Most items will still be readable without image and Fill-Out Form support. One exception: the Nuprl Theory/Theorem Browser will be will be unreadable without XBM image support.


Return to Main Index

Nuprl Project / nuprl@cs.cornell.edu