CMU Artificial Intelligence Repository
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
Ithaca, NY 14853
Automated Reasoning, CLX!Code, Lisp!Code, Nuprl,
Reasoning!Automated Reasoning, Theorem Proving
Last Web update on Mon Feb 13 10:27:35 1995