Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
thor.pdf | 2022-12-12 12:37 | 665K | ||
counting-roots.pdf | 2022-12-12 12:37 | 721K | ||
Wetzel-talk.pdf | 2022-09-25 16:21 | 2.0M | ||
Talk_LMF_nov2022.pdf | 2022-12-12 12:37 | 5.5M | ||
Talk_IRIF_nov2022.pdf | 2022-12-12 12:37 | 5.5M | ||
Serapis.pdf | 2020-07-29 11:02 | 1.3M | ||
Serapis-slides.pdf | 2020-07-29 11:02 | 4.5M | ||
Pittsposium.pdf | 2023-09-20 15:42 | 6.3M | ||
Ordinal-Partitions.pdf | 2023-09-20 15:42 | 6.3M | ||
LMS-Seminar2024.pdf | 2024-02-07 14:34 | 2.2M | ||
InfinitaryCombinatorics.pdf | 2022-12-12 12:37 | 7.0M | ||
Formalising-Number-Theory.pdf | 2023-08-22 14:52 | 6.3M | ||
DSP_Neurips.pptx.pdf | 2022-12-12 12:37 | 772K | ||
Contemporary Mathematics.pdf | 2022-12-12 12:37 | 7.0M | ||
CPP2024.pptx | 2024-02-07 14:34 | 2.5M | ||
CICM-2023.pdf | 2023-09-20 15:42 | 18M | ||
Bordg-talk_schemes.pdf | 2022-12-12 12:37 | 836K | ||
BigProof2019.pdf | 2022-12-12 12:37 | 2.3M | ||
BalogSzemGowers.pdf | 2022-12-16 17:19 | 830K | ||
BalogSzemGowers-slides.pdf | 2023-08-11 17:03 | 4.5M | ||
Angeliki-Topos-Inst.pdf | 2024-02-09 11:31 | 4.1M | ||
AlgClosure-IJCAR.pdf | 2022-12-12 12:37 | 333K | ||
Ackermann.pdf | 2022-12-12 12:37 | 132K | ||
Ackermann-slides.pdf | 2022-12-12 12:37 | 1.1M | ||
ATP-Tech-Roadmap.pdf | 2022-06-10 14:03 | 3.7M | ||
AITP-2020.pdf | 2022-12-12 12:37 | 3.0M | ||
2-Formalising-Maths.pdf | 2022-06-10 14:12 | 4.4M | ||
1-Type-Theories.pdf | 2022-06-10 14:12 | 1.8M | ||