An overview of the MIZAR project. Available by anonymous FTP from menaik.cs.ualberta.ca as pub/Mizar/MizarOver.tar.Z (0)

by L Wos, R Overbeek, R Lusk, J Boyle