![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ba_final_fixes.pdf | 2022-01-24 02:01 | 773K | |
| ba_final_orig.pdf | 2021-10-20 21:01 | 772K | |
| coq/ | 2021-10-13 15:01 | - | |
| memo-talk-1.pdf | 2021-06-08 08:01 | 97K | |
| talk-1.pdf | 2021-05-21 08:01 | 350K | |
| talk-2.pdf | 2021-07-27 17:01 | 346K | |
| talk-3.pdf | 2021-10-14 17:01 | 395K | |