Agda2HS: Verification to Production
Master Project
of Sara Juhosova
Project description
t.b.a.
Related work
t.b.a.
Agda2HS: Verification to Production
Student: Sara Juhosova
Supervisor(s): Lucas Escot, Jesper Cockx