An Outline of PC Mizar (1993)

by Michal Muzalewski