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
252 WebHome
149 WebStatistics
100 MizarMode
 65 MizarSyntax
 52 MpTP
 52 MoMM
 30 MizarJedit
 27 WebIndex
 25 MizarProofAdvisor
 22 ListOfArticle
 21 WebSearch

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