TWiki> Mizar Web>MizarFAQ (2010-02-04, AdamNaumowicz)EditAttach

Frequently Asked Questions About The Mizar Checker

Results from Mizar web retrieved at 05:23 (GMT)

InstallationAndFirstArticle
ArturKornilowicz
r4 - 2010-04-21 - 15:59 

FAQ: Question: How to install Mizar system on PC with Windows XP and get the first example article? Answer: MichaelNedzelsky 13 Jul 2005 Step by ...
TestQA
WikiRoot
r2 - 2002-07-05 - 18:18 

FAQ: testquestion Answer: testanswer Back to: MizarFAQ WikiRoot 05 Jul 2002

Submit a new FAQ

Please ask questions in MizarQuestion. The FAQs are here for frequently asked questions including answers.

New FAQ topic: (Use a name in WikiNotation)

NOTE: New FAQ topics are based on the MizarFaqTemplate

More sources...

Other places where you can find answers to your questions:

  • MizarDocumentation?:
-- WikiRoot - 05 Jul 2002
WebForm
TopicClassification Select one...
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r6 < r5 < r4 < r3 < r2 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r6 - 2010-02-04 - 09:07:36 - AdamNaumowicz
Mizar.MizarFAQ moved from Mizar.MizarFaq on 2002-07-05 - 12:57 by WikiRoot - put it back
 
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