Ask a Mizar Question:
Before you ask a question please check:
- MizarFAQ has frequently asked questions in general
- AnsweredQuestions has questions of users that have been answered already.
(Use WebSearch to find an answer to your question somebody else might have asked already.)
- If you have an enhancement request or a brainstorming idea you can contribute that in FeatureBrainstorming
Each question is a TWiki topic. To ask a question choose a topic name in WikiNotation
, press the [ Create Topic ] button, type your question, then preview and save the topic:
You need username and password to edit pages. If you do not mind, please create own account in TWikiRegistration
. You also can post anonymously as
, password is
In case you find the answer by yourself after submitting a question: We would appreciate if you could document this here in your question and set the TopicClassification
. That way you help making the Mizar web self-organized and more useful.
Questions Asked but Not Yet Answered:
Mizar Translations this is now mostly a collection of e mails I (JosefUrban) exchanged with various people about translation of Mizar to various formats. People who ...
Is this a question? WikiRoot 05 Jul 2002
Number of topics: 3
Topic revision: r3 - 2002-07-07 - 15:09:15 - WikiRoot
Mizar.MizarQuestion moved from Mizar.MizarQuestions on 2002-07-05 - 15:07 by WikiRoot
- put it back