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