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