Agda2HS: Verification to Production
Master Project of Sara Juhosova


Project description

t.b.a.

t.b.a.


Agda2HS: Verification to Production

Student: Sara Juhosova
Supervisor(s): Lucas Escot, Jesper Cockx