An overview of the Mizar project. (1992)

by P Rudnicki
Venue:In Workshop on Types for Proofs and Programs,