Mizar Language

The Mizar Language is a formal language derived from the mathematical vernacular. The principle idea of its author was to design a language readable for mathematicians and, simultaneously, sufficiently rigorous to enable processing and verifying by computer software. A script written according to the Mizar Syntax is called a Mizar Article.

The Lexical Context of a Mizar Article
Download text version of the Mizar Syntax

[ Home | Project | Language | System | People | MML | FM | SUM ]

Last modified: April 9, 2010