Mizar: An Impression’. http://www.cs.kun.nl/~freek/mizar/ mizarintro.ps.gz (1999)

by F Wiedijk