next up previous contents index
Next: Contents

Implementing Mathematics


The Nuprl Proof Development System

Draft of

By the PRL Group:

Computer Science Department
Cornell University
Ithaca, NY 14853

This research supported in part by the National Science Foundation under grant DCR83-03327. Copyright © 1985 by R. L. Constable and Prentice--Hall. Copyright © 1995 by Cornell University.

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995