Comparing two user-friendly formal languages for mathematics
: weak type theory and mizar

  • G. Geleijnse

Student thesis: Master

Date of Award30 Jun 2004
Original languageEnglish
SupervisorRob Nederpelt (Supervisor 1)

Cite this

'