Where can I get Nuprl

Article View: comp.lang.functional

Article #172

Back to comp.lang.functional Previous Next

#172

From: Alan Grant Finlay
Date: Fri, 21 Aug 1992 00:20

9 lines
762 bytes

Does anyone know where I can get Nuprl by ftp (assuming there is
a free version available)?

I have documentation ("Implementing Mathematics with the Nuprl Proof
Development System", 1986) for version 1.0.  Are new versions upward
compatible?

	Thanks, Alan.	(email alanf@bruce.cs.monash.edu.au)

Technical Details

Message-ID: <alanf.714356441@bruce.cs.monash.edu.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!mips!mips!munnari.oz.au!bruce.cs.monash.edu.au!alanf

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.functional
Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!mips!mips!munnari.oz.au!bruce.cs.monash.edu.au!alanf
From: alanf@cs.monash.edu.au (Alan Grant Finlay)
Subject: Where can I get Nuprl
Message-ID: <alanf.714356441@bruce.cs.monash.edu.au>
Summary: ftp
Sender: news@bruce.cs.monash.edu.au (USENET News System)
Organization: Computer Science, Monash University, Australia
Date: Fri, 21 Aug 1992 00:20:41 GMT
Lines: 9