| c | File Name | Size | T | Date |
|---|---|---|---|---|
| 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 | lean | 2024-10-17 00:48:38 |
| - | lean4.zip | 862623031 | zip | 2024-12-20 09:55:58 |
| - | thesis_draft_jan24_annotated.pdf | 1717793 | 2025-01-24 17:30:43 |