Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.MizarFAQr1.5 - 15 Aug 2002 - 16:17 - GrzegorzBancerektopic end
Start of topic | Skip to actions

Frequently Asked Questions About The Mizar Checker

Results from Mizar web
InstallationAndFirstArticle
KrzysztofRetel
26 Jan 2007 - 10:17 - r1.3

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

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

NOTE: The most recent version of this FAQ is at http://alioth.uwb.edu.pl/twiki/bin/view/Mizar/MizarFAQ.

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
to top
End of topic
Skip to action links | Back to top

WebForm
TopicClassification: Select one...
ProjectGroup?:  
ImplementationDate?: N/A


Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.5 | > | r1.4 | > | r1.3 | Total page history | Backlinks
Mizar.MizarFAQ moved from Mizar.MizarFaq on 05 Jul 2002 - 12:57 by WikiRoot - put it back
You are here: Mizar > MizarFAQ

to top

Copyright © 1999-2008 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Mizar TWiki? Send feedback