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.

http://myjavaserver.com/~michael137/definitions.html

-- 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 http://mmlquery.mizar.org/mmlquery/getdata.php)


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

WebForm
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