The LEGO Proof Assistant
Edit Page
Report
Scan day: 17 February 2014 UTC
3
Virus safety - good
Description: A powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects of interactive proofs.
Not in any way associated with the LEGO Group of Companies, nor created or endorsed by the LEGO Group. Last updated on 13 January 1999 by
Size: 137 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The LEGO Proof Assistant |
| Keywords: | |
| Description: | |
| IP-address: | 129.215.32.17 |