Isabelle
Edit Page
Report
Scan day: 17 February 2014 UTC
16
Virus safety - good
Description: Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (
Size: 227 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Isabelle |
| Keywords: | |
| Description: | |
| IP-address: | 131.159.46.82 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2010-10-21T09:37:06+02:00 Changed: 2010-01-12T15:25:13+01:00 Changed: 2010-01-12T15:25:13+01:00 |