![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 1-Type-Theories.pdf | 2022-06-10 14:12 | 1.8M | |
| 2-Formalising-Maths.pdf | 2022-06-10 14:12 | 4.4M | |
| AITP-2020.pdf | 2022-12-12 12:37 | 3.0M | |
| ATP-Tech-Roadmap.pdf | 2022-06-10 14:03 | 3.7M | |
| Ackermann-slides.pdf | 2022-12-12 12:37 | 1.1M | |
| Ackermann.pdf | 2022-12-12 12:37 | 132K | |
| AlgClosure-IJCAR.pdf | 2022-12-12 12:37 | 333K | |
| Angeliki-Topos-Inst.pdf | 2024-02-09 11:31 | 4.1M | |
| BalogSzemGowers-slides.pdf | 2023-08-11 17:03 | 4.5M | |
| BalogSzemGowers.pdf | 2022-12-16 17:19 | 830K | |
| BigProof2019.pdf | 2022-12-12 12:37 | 2.3M | |
| Bordg-talk_schemes.pdf | 2022-12-12 12:37 | 836K | |
| CICM-2023.pdf | 2023-09-20 15:42 | 18M | |
| CPP2024.pptx | 2024-02-07 14:34 | 2.5M | |
| Contemporary Mathematics.pdf | 2022-12-12 12:37 | 7.0M | |
| DSP_Neurips.pptx.pdf | 2022-12-12 12:37 | 772K | |
| Diagonal-ITP2025.pdf | 2025-10-09 16:58 | 4.8M | |
| Edmonds-CPP2024.pdf | 2024-08-10 21:16 | 660K | |
| Formalising-Number-Theory.pdf | 2023-08-22 14:52 | 6.3M | |
| Hausdorff.pdf | 2024-08-10 21:16 | 2.1M | |
| InfinitaryCombinatorics.pdf | 2022-12-12 12:37 | 7.0M | |
| LMS-Seminar2024.pdf | 2024-02-07 14:34 | 2.2M | |
| Ordinal-Partitions.pdf | 2023-09-20 15:42 | 6.3M | |
| Pittsposium.pdf | 2023-09-20 15:42 | 6.3M | |
| SC-Square-2024.pdf | 2024-08-10 21:16 | 2.1M | |
| SC-Square-2024b.pdf | 2025-01-22 16:27 | 5.0M | |
| Serapis-slides.pdf | 2020-07-29 11:02 | 4.5M | |
| Serapis.pdf | 2020-07-29 11:02 | 1.3M | |
| Talk_IRIF_nov2022.pdf | 2022-12-12 12:37 | 5.5M | |
| Talk_LMF_nov2022.pdf | 2022-12-12 12:37 | 5.5M | |
| Wetzel-talk.pdf | 2022-09-25 16:21 | 2.0M | |
| counting-roots.pdf | 2022-12-12 12:37 | 721K | |
| thor.pdf | 2022-12-12 12:37 | 665K | |