+ Mizar Proof Advisor

is a system providing hints for a proof of arbitrary Mizar formula, trained on MML proofs by data mining techniques. More detailed description is at http://jurban.github.io/mizarmode/doc/html/MizarMode_11.html and http://kti.mff.cuni.cz/~urban/MPTP/mptp-jar.ps.gz .

The online advisor is running at http://lipa.ms.mff.cuni.cz/~urban/posdemo.html, tho local distro can be downloaded from http://kti.mff.cuni.cz/~urban/MPA/mpadistro.tar.gz

-- JosefUrban - 18 Dec 2004

TopicClassification MizarTools
ImplementationDate? N/A
Topic revision: r3 - 2016-05-23 - 14:55:07 - AmirLivne
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback