Where can I get Nuprl

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Alan Grant Finlay Fri, 21 Aug 1992 00:20

#172

Author: 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)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads