Skip to content
GitLab
Explore
Sign in
koizel
phdNotes
Tags
phdSlides@final
phdSlides@final
gl_ht/dev@aleeas.com
917ee033
·
Diagram for proof irrelevance
·
Sep 26, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Slides presented on the defence
