Tools for better Mizaring and more
NOTE: Start a new topic for each tool.Results from Mizar web retrieved at 03:56 (GMT)
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 ...
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 ...
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 ...
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 JosefUrban 16 Jul 2002
Journal Of Formalized Mathematics Bialystok: http://mizar.uwb.edu.pl/JFM/ 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 ...
Number of topics: 10
-- JosefUrban - 08 Jan 2005 Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2005-01-08 - 11:38:00 - JosefUrban
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback