sourcehut
Log in
—
Register
~tslil
/
univalence-to-funext
summary
tree
log
refs
/
d---------
Tree
Log
Permalink
35576e52
— tslil clingman Fixed links
5 years ago
-rw-r--r--
.gitignore
69 bytes
-rw-r--r--
README.md
212 bytes
-rw-r--r--
Univalence-to-funext.agda
8.7 KiB
-rw-r--r--
univalence-to-funext.pdf
85.1 KiB
-rw-r--r--
univalence-to-funext.tex
5.3 KiB
Do not follow this link