3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| zip | archive/ | 6 | 2025-01-21 11:08:46 |
| zip | isabelle/ | 4 | 2024-10-16 02:52:48 |
| zip | lean4/ | 16 | 2025-01-15 16:11:10 |
| zip | sources/ | 12 | 2025-01-24 12:37:47 |
| zip | tex/ | 33 | 2025-01-27 23:26:12 |
| - | DecreasingDiagrams_aesopified.lean | 14559 | 2024-10-17 00:48:38 |
| - | lean4.zip | 862623031 | 2024-12-20 09:55:58 |
| - | thesis_draft_jan24_annotated.pdf | 1717793 | 2025-01-24 17:30:43 |