MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 25-Nov-96 00:41:11 GMT Content-Type: text/html Content-Length: 989 Last-Modified: Thursday, 09-Nov-95 13:00:09 GMT 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