Implementing Mathematics Using NuPrl
Edit Page
Report
Scan day: 05 March 2014 UTC
9
Virus safety - good
Description: Full online text of the book. Includes tutorial on Martin-Löf's type theory, motivating remarks on intuitionism, as well as sample formalisations of constructive mathematics in the NuPrl theorem prover.
A Postscript version of the book is available here: Other useful info about the book is available at have been annotated with links to more The Nuprl Proof Development System This research supported in part by the National Science Foundation under grant DCR83-03327. Copyright © 1985 by R. L. Constable and Prentice--Hall. Copyright © 1995 by Cornell University.
Size: 380 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The Nuprl Book |
| Keywords: | |
| Description: | |
| IP-address: | 128.84.154.137 |
WHOIS Info
| NS | Name Servers: BIGRED.CIT.CORNELL.EDU 128.253.180.35 DNS.CIT.CORNELL.EDU 192.35.82.53 |
| WHOIS | |
| Date | activated: 15-Jul-1985 last updated: 20-Sep-2012 expires: 31-Jul-2014 |