Skip to topic | Skip to bottom
Home
Mizar

edit

Mizar.MizarLanguager1.4 - 07 May 2007 - 10:25 - MichaelNedzelskytopic end
Start of topic | Skip to actions
The grammar of Mizar with examples, comments and suggestions

Editable version of the grammar is now available as appendix to MizarSyntax, view it at http://wiki.mizar.org/twiki/pub/Mizar/MizarSyntax/syntax.xml .

LexicalLevel: contains description of the lexical level of a Mizar article and simple utility which splits given article into a sequence of tokens.

Latest description of the Mizar semantical layer should be available at ftp://mizar.uwb.edu.pl/pub/version/doc/xml/Mizar.html .

-- JosefUrban - 23 Oct 2006
to top

End of topic
Skip to action links | Back to top

Edit | Attach image or document | Printable version | Raw text | More topic actions
Revisions: | r1.4 | > | r1.3 | > | r1.2 | Total page history | Backlinks
You are here: Mizar > MizarLanguage

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