NuPrl Proof Development System
Edit Page
Report
Scan day: 17 February 2014 UTC
0
Virus safety - good
Description: A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. Features include: very expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics and automata theory, possibility of an extraction a certified program from the constructive proof of its formal specification, graphical proof editor. NuPrl was successfully used in verifying components of the Ensemble group communications system.
—
Size: 0 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | |
| 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 |