Mizar Project
Edit Page
Report
Scan day: 09 February 2014 UTC
8
Virus safety - good
Description: An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Current Mizar Version: 8.1.02 ( MML Version: 5.22.1191 (10 Dec 2013) Unpacked distribution can be browsed (...)The first presentation of the Mizar ideology understood here as visionary speculation was presented by Andrzej [Trybulec] on November 14, 1973 at a seminar in the Institute of Library Science and Scientific Information at Warsaw University(...)
Size: 355 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Mizar Home Page |
| Keywords: | mathematics, science, proof, checker, verifier, journal, computer |
| Description: | |
| IP-address: | 193.219.28.245 |