Some features of the Mizar language. Presented at a workshop in (1993)

by A Trybulec
Venue:In E. L