Identifying the implementation obstacles for self-verified proof assistants
Master Project
of Ate-Jan de Vries
Identifying the implementation obstacles for self-verified proof assistants
Student: Ate-Jan de Vries
Supervisor(s): Jesper Cockx