[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] online service for Mizar verification, HTMLization, and automated reasoning
- To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
- Subject: [mizar] online service for Mizar verification, HTMLization, and automated reasoning
- From: Josef Urban <josef.urban@gmail.com>
- Date: Wed, 1 Sep 2010 14:43:23 +0200
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=jPLS+O6eBebL2wSU+NOcGzeRgrzINl68Um1HSCKh83y8mF9qq2ygOHi0i6KEYlikZ6 wTumF80yONujwBWNTdmPByhOUjDxYEfxuXzIyCqy5Xa5WMmth0xwYRl2NGlUFRJCwP8E 8ifSbwUjRQ6ZfUpZve6A2AbVJPExM2kgglp64=
Dear Mizar Users,
At http://mws.cs.ru.nl/~mptp/MizAR1096.html is now running an online
service for Mizar remote verification, HTMLization, and for using
automated reasoning tools on Mizar articles. The interface also allows
you to use parallel (SMP) processing on the server for article
verification and creation of HTML, which can on longer articles
significantly reduce the processing time.
The interface is also accessible through a new version of the Mizar
mode for Emacs (http://github.com/JUrban/mizarmode/raw/master/mizar.el),
using the functions in the "Remote solving" menu subgroup.
The link with automated reasoning tools is quite experimental, while
the verification, htmlization, and parallelization should work
reasonably well (and reports of serious bugs are welcome).
Josef Urban