Theorems Top 50 in Consecutive Years
This page contains statistical reports of the Mizar Mathematical
Library.
These statistics used to be
created by Library Committee of the Association of Mizar Users
yearly in December since 1993.
The tables show which theorems in Mizar Mathematical Library
have the greatest number of references.
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
[
Home |
Project |
Language |
System |
People |
MML |
FM |
SUM
]
Last modified: June 22, 2004