CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Nuprl: Proof Development System

This directory contains the Nuprl Proof Development System.

Version: 3.2 (26-MAY-94) Requires: Common Lisp with CLX There are also (obsolete) interfaces for Symbolics Lisp machines and Suns running the SunView window system. Ports: Nuprl has been tested with Allegro CL, Lucid CL, and AKCL. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: Elizabeth Maxwell Nuprl Distribution Coordinator Department of Computer Science, Upson Hall Cornell University Ithaca, NY 14853 Keywords: Automated Reasoning, CLX!Code, Lisp!Code, Nuprl, Reasoning!Automated Reasoning, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:35 1995