Giters
AndrasKovacs
/
thesis
my phd thesis
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
26
Watchers:
6
Issues:
0
Forks:
thesis
My PhD thesis.
Pdf
.
Agda supplement
.
About
my phd thesis
Languages
Language:
TeX
85.6%
Language:
Agda
14.1%
Language:
Coq
0.3%