Comment by robinzfc

There are "1498 articles written by 278 authors and 73460 theorems, 14291 definitions" at http://mmlquery.mizar.org/