Geeks
jagajaga
/
tt2014
Type theory (IFMO, 2014)
Primary Language
TeX
tt2014 GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
tt2014
Type theory course short conspect (IFMO, 2014)