Mizar TWiki

The Mizar web is the main collaboration area for people using the Mizar proof checker and people involved in its implementation or implementation of related software.

Please do not hesitate to add/edit as many pages as you can

Hint: Subscribe to WebNotify to be automatically notified when something changes in the TWiki.Mizar web

Hot Topics (more) Sort Top Contributors
2416 MizarSyntax
1508 MathematicsSubjectClassification
1091 WebHome
810 MizarMode
788 NewTechnology
368 MoMM
353 WebStatistics
236 MpTP
217 MpTP2078
213 AutomatedTranslation
165 MizarJedit
  6 SebastianKoch

More search options in WebSearch

Mizar Questions and Hints

  • InstallationAndFirstArticle: Mizar installation and first simple example of an article.
  • MizarFAQ: Why is Mizar behaving like this? post questions
  • ErrorMessages: What does this strange error message mean? post examples
  • MizarLanguage: The grammar of Mizar with examples, comments and suggestions; post examples
  • MizarTechniques: How to attack a theory, examples of typical solutions to typical problems; post new
  • MizarPitfalls (structured): Most common errors during Mizaring; post your angry comments here
  • MmlSuggestions: Suggest changes to existing articles here
  • MmlDevelopement: Formalisation projects, description of the MML
  • MmlPolicy?: The policy behind MML developement and revisions
  • MizarTheory: The theory behind Mizar
  • MizarProject?: Discussion of the Mizar Project, history, etc.

Mizar Wishes and Bugs

  • FeatureBrainstorming: Let the ideas flow - nothing is too unusual to consider - Mizar enhancements, new tools or projects - browse, comment, post new.
  • MizarWishlist
  • BugReports: Check open bug files; post new reports.
  • BugRejected?: Reports de-classified as bugs.
  • BugResolved?: Bugs squished, problems solved.
  • KnownIssuesOfMizar?: Last Production Release


Mizar Documentation

Mizar Mathematical Library

Formalized Mathematics

Mizar Projects

Mizar Links

Mizar Web Site Tools


  • You are currently in the Mizar web. The color code for this web is this background, so you know where you are.
  • If you are not familiar with the TWiki collaboration platform, please visit WelcomeGuest first.

Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web Welcome to TWiki... Users, Groups ...see who is registered on this TWiki
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
Mizar Home of Mizar web Search Mizar web Recent changes in the Mizar web Get notified of changes to the Mizar web Mizar development: the core collaboration zone for the Mizar Project. ...contribute code, follow development, comment & suggest.
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact softadm@mizar.uwb.edu.pl if you need a separate collaboration web for your team. See also AdminToolsCategory?.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web
  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail
Topic revision: r40 - 2010-03-11 - 20:58:58 - MizarReviewer
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