[mizar] List

[Freek Wiedijk <freek@cs.kun.nl>]

Hello,

In case someone wants to write another Mizar article, here is
a nice list of theorems:

<http://attila.stevens-tech.edu/~nkahl/Top100Theorems.html>

Which of these 100 are already proved in MML?

Freek