Tools for better Mizaring and more

NOTE: Start a new topic for each tool.

New tool (use a WikiWord title):

Results from Mizar web retrieved at 07:10 (GMT)

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 ...
BobPfieffer?

Mizar Mode for Emacs the mizar mode for Emacs is now a part of the MizarDistribution the latest (and probably experimental) version can be downloaded from ...
Mizar Problems for Theorem Proving 0.2 second version of the MpTP system (MpTP02) MpTP02 is downloadable at http://kti.ms.mff.cuni.cz/~urban/MPTP2/mptp0.2.tar ...
M(ost uch) of M(izar ath) Matches (MoMM) MoMM is a matching, interreduction and database tool for mathematical databases, optimized for Mizar, the description ...
MML Query MML Query is installed at http://mmlquery.mizar.org/mmlquery/three.html http://mmlquery.mizar.org/mmlquery/three.html http://megrez.mizar ...
jEdit http://www.jedit.org is a mature and well designed programmer's text editor, written in pure Java. MichaelNedzelsky 31 Jul 2005
You can execute this application from the command line: java cp mizutils.jar org.mizarutils.GUI The application take the value of MIZFILES environment variable to ...
Mizar TWiki discussion, pros and cons, suggestions For general TWiki discussion, see WikiCulture, Wiki:WhyWikiWorks, TWiki:Main/TWikiPresentations Mizar specific ...
CVS of the MML Revisions http://alioth.uwb.edu.pl/cgi bin/viewcvs.cgi JosefUrban 16 Jul 2002
Journal Of Formalized Mathematics Bialystok: http://mizar.uwb.edu.pl/JFM/ JosefUrban 16 Jul 2002
Number of topics: 10

-- JosefUrban - 08 Jan 2005

Topic revision: r1 - 2005-01-08 - 11:38:00 - JosefUrban
 
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