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 is ...

MML Query MML Query is installed at http://mmlquery.mizar.org/mmlquery/three.html http://mmlquery.mizar.org/mmlquery/three.html http://megrez.mizar.org/mmlquery/three ...

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.gz ...

jEdit http://www.jedit.org is a mature and well-designed programmer's text editor, written in pure Java. Main.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 TWiki.WikiCulture, Wiki:WhyWikiWorks, TWiki:Main/TWikiPresentations Mizar specific ...

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

CVS of the MML Revisions http://alioth.uwb.edu.pl/cgi-bin/viewcvs.cgi Main.JosefUrban 16 Jul 2002

Journal Of Formalized Mathematics Bialystok: http://mizar.uwb.edu.pl/JFM/ Main.JosefUrban 16 Jul 2002

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 the CVS ...