Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2013_12_30_Univalent..> | 2013-12-30 14:40 | 53K | TeX source file | |
2013_12_31_Foundatio..> | 2013-12-30 18:19 | 180K | ||
2014_01_03_Univalent..> | 2014-01-03 12:32 | 55K | TeX source file | |
2014_05_27_Univalent..> | 2014-05-27 13:43 | 62K | TeX source file | |
anc.zip | 2014-06-28 10:26 | 171K | ||
anc/ | 2018-02-01 09:36 | - | ||