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
Implementing Mathematics with the Nuprl Proof Development System
Nuprl Project / nuprl@cs.cornell.edu