-- MichaelNedzelsky - 30 Oct 2006

Now the parser can build an incomplete parse tree (in which some nodes are non-terminals) for given Mizar article. Type information is not used.

TopicClassification Select one...

ImplementationDate? N/A
Topic attachments
I Attachment Action Size Date Who Comment
elsegz miztest.tar.gz manage 142.8 K 2006-10-30 - 13:09 MichaelNedzelsky The snapshot copy of the code on 2006-10-30
Topic revision: r1 - 2006-10-30 - 12:55:23 - MichaelNedzelsky
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