CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Nuprl: Proof Development System

areas/reasonng/atp/systems/nuprl/
This directory contains the Nuprl Proof Development System.
Origin:   

   ftp.cs.cornell.edu:/pub/nuprl/

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
AI.Repository@cs.cmu.edu