Geeks
StevenBrons
/
tt2021
Type theory and coq presentation
Primary Language
TeX
tt2021 GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
tt2021
Type theory and coq presentation
Based on
this paper on scalar actions