MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 25-Nov-96 00:40:59 GMT Content-Type: text/html Content-Length: 583 Last-Modified: Monday, 28-Oct-96 18:19:45 GMT Nuprl Automated Reasoning Project Documentation

Nuprl Automated Reasoning Project Documentation

Documents Available

Nuprl 4.1 Reference Manual and User's Guide

Nuprl 4.1 Tutorial

Implementing Mathematics with the Nuprl Proof Development System


Return to Main Index

Nuprl Project / nuprl@cs.cornell.edu