A graphical user interface for the proof assistant yarrow

  • E.P.J. Raijmakers

Student thesis: Master

Abstract

Date of Award31 Aug 1999
Original languageEnglish
SupervisorC. (Kees) Hemerik (Supervisor 1) & Jan Zwanenburg (Supervisor 2)

Cite this

'