| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| aahlsv14muri/ | 2020-04-30 01:58 | - | ||
| abcfhl/ | 2020-09-07 03:30 | - | ||
| alh07coproduct/ | 2020-04-30 01:58 | - | ||
| amlh14patch/ | 2020-04-30 02:01 | - | ||
| bll13homotopy/ | 2020-04-30 01:58 | - | ||
| cld20amortized/ | 2020-10-02 18:39 | - | ||
| dlr15inductive/ | 2020-04-30 01:58 | - | ||
| ffll16blakers/ | 2020-04-30 02:02 | - | ||
| hl06mechanizing/ | 2020-04-30 02:02 | - | ||
| hl07mechanizing/ | 2020-04-30 01:59 | - | ||
| kmld20recurrence/ | 2020-04-30 02:01 | - | ||
| ktl16regexp/ | 2020-04-30 02:01 | - | ||
| l06proving/ | 2020-04-30 02:00 | - | ||
| l13asltalk/ | 2020-04-30 02:00 | - | ||
| l13cpp/ | 2020-04-30 02:02 | - | ||
| l13githit/ | 2023-03-15 15:37 | - | ||
| l13iowa/ | 2020-04-30 01:59 | - | ||
| l13jobtalk/ | 2020-04-30 02:01 | - | ||
| l14brown/ | 2020-04-30 02:00 | - | ||
| l14coq/ | 2020-04-30 02:00 | - | ||
| l16icfp/ | 2020-04-30 01:59 | - | ||
| l16plmw/ | 2020-04-30 01:59 | - | ||
| l17small/ | 2020-04-30 02:02 | - | ||
| l18vvmc/ | 2020-04-30 02:01 | - | ||
| l24theta2/ | 2024-08-19 11:00 | - | ||
| lb13cpp/ | 2020-04-30 01:58 | - | ||
| lb14cubical/ | 2020-04-30 02:02 | - | ||
| lb15cubicalsynth/ | 2020-04-30 02:02 | - | ||
| lf14em/ | 2020-04-30 01:58 | - | ||
| lh05concert-talk/ | 2020-04-30 02:00 | - | ||
| lh05dmlproofs-tr/ | 2020-04-30 02:01 | - | ||
| lh07extensible/ | 2020-04-30 02:02 | - | ||
| lh08dsl/ | 2020-04-30 02:00 | - | ||
| lh09pdt/ | 2020-04-30 02:02 | - | ||
| lh09unibind/ | 2020-04-30 01:58 | - | ||
| lh10hl5/ | 2020-04-30 01:59 | - | ||
| lh102dtt/ | 2020-04-30 02:00 | - | ||
| lh102dttnsf/ | 2020-04-30 01:58 | - | ||
| lh112tt/ | 2020-04-30 02:00 | - | ||
| lh122tttalks/ | 2020-04-30 01:59 | - | ||
| lhk03features/ | 2020-04-30 01:58 | - | ||
| lk04webverf/ | 2020-04-30 01:59 | - | ||
| lpj07views/ | 2020-04-30 02:01 | - | ||
| lrs19dep/ | 2020-04-30 02:02 | - | ||
| ls13pi1s1/ | 2020-04-30 02:00 | - | ||
| ls15adjoint/ | 2020-04-30 01:58 | - | ||
| ls16multiadjoint/ | 2020-04-30 01:59 | - | ||
| lsl06modtwelf/ | 2020-04-30 01:58 | - | ||
| lsr17multi/ | 2020-04-30 01:58 | - | ||
| lzh08focbind/ | 2020-04-30 01:58 | - | ||
| ml10sectyp/ | 2020-04-30 02:02 | - | ||
| msclch06icfpc/ | 2020-04-30 02:02 | - | ||
| nl18gttcbn/ | 2020-04-30 02:01 | - | ||
| nla19gtt/ | 2020-04-30 01:58 | - | ||
| research-statement.pdf | 2020-04-30 02:00 | 87K | ||
| speakingskills/ | 2020-04-30 01:59 | - | ||
| thesis/ | 2020-04-30 02:01 | - | ||
| wl20bicubical/ | 2020-10-02 18:37 | - | ||