Waterproof: Transforming a proof assistant into an educational tool

Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

281 Downloads (Pure)

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie	Mathematics and Computer Science
Begeleider(s)/adviseur	Peletier, Mark A., Promotor Portegies, Jim W., Co-Promotor
Datum van toekenning	21 mrt. 2025
Plaats van publicatie	Eindhoven
Uitgever	Eindhoven University of Technology
Gedrukte ISBN's	978-90-386-6309-8
Status	Gepubliceerd - 21 mrt. 2025

Proefschrift.

Toegang tot document

@phdthesis{d383db097bfc4d85967c014e94ed8d59,

title = "Waterproof: Transforming a proof assistant into an educational tool",

author = "Wemmenhove, {Aalt Jelle}",

note = "Proefschrift.",

year = "2025",

month = mar,

day = "21",

language = "English",

isbn = "978-90-386-6309-8",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}