phdSlides@final

gl_ht/dev@aleeas.com

917ee033 · Diagram for proof irrelevance · Sep 26, 2022

Slides presented on the defence