CS 486: Applied Logic
 Spring 2001

Nuprl

Nuprl is a proof development system created here, at Cornell, in the Department of Computer Science. We may be using Nuprl 4.2 as courseware.

You can find extra information about Nuprl Project at the Nuprl Project website.

For those of you who are going to do a course project in Nuprl, there are three important documents to read:



HOME


Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mailto:juanita@cs.cornell.edu