Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
alggeom.bib | 2010-09-27 17:50 | 79K | TeX bibliography items -- bibtex input | |
u.pdf | 2010-10-01 13:30 | 32K | PDF document file | |
u.v | 2010-10-01 13:30 | 7.5K | Coq proof file | |
univalent_foundation..> | 2010-10-04 13:44 | 1.3K | TeX bibliography items -- bibtex output, latex input | |
univalent_foundation..> | 2010-10-04 13:44 | 234K | PDF document file | |
univalent_foundation..> | 2010-10-04 13:43 | 35K | TeX source file | |