An overview of the Mizar project. Notes to a talk at the workshop on Types for Proofs and Programs (1992)

by P Rudnicki