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) & J. Zwanenburg (Supervisor 2)

Cite this

A graphical user interface for the proof assistant yarrow
Raijmakers, E. P. J. (Author). 31 Aug 1999

Student thesis: Master