back to CS486
Course Homepage

CS 486: Applied Logic Spring 2003

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:

Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: