CMU Artificial Intelligence Repository
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