Date of Award | 30 Jun 2004 |
---|---|
Original language | English |
Supervisor | Rob Nederpelt (Supervisor 1) |
Comparing two user-friendly formal languages for mathematics: weak type theory and mizar
Student thesis: Master