Mizar: An impression. Unpublished paper (1999)

by F Wiedijk