The following page contains all the definitions from first 10 MML articles in order of processing (see mml.lar file in Mizar distribution). It seems to be a good way to get first impression on mathematics in Mizar system.

-- MichaelNedzelsky - 31 Jul 2005

To get similar result with MML Query browser it is enough to write the following template and then press GET button. (See also

To get definitions from different amount of articles change "select 0-9". To get theorems change "all notat" to "all th".

-- GrzegorzBancerek - 10 Dec 2005

TopicClassification Select one...
ImplementationDate? N/A
Topic revision: r4 - 2009-06-14 - 22:54:39 - GrzegorzBancerek
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