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
Topic revision: r4 - 2007-05-07 - 10:25:51 - MichaelNedzelsky
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback