3084a26acc5e // 40.6 GiB free of 108 GiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | IMG_20250121_003410_609.jpg | 1424891 | 2025-01-20 23:34:17 |
| - | VU-logo-CMYK.pdf | 87801 | 2024-12-02 17:02:29 |
| - | VU-logo-RGB.svg | 11235 | 2025-01-06 15:37:23 |
| - | acyclic.png | 64863 | 2025-01-19 14:45:58 |
| - | cats2.jpg | 3277904 | 2025-01-20 23:28:01 |
| - | klopsentence.png | 44887 | 2025-01-19 14:32:34 |
| - | lean_logo.svg | 11263 | 2025-01-16 15:08:47 |
| - | mathlib.png | 1015544 | 2025-01-19 01:21:43 |
| - | properties.png | 127787 | 2024-11-20 13:16:50 |
| - | property_theorems.eps | 24417 | 2025-01-18 21:25:48 |
| - | property_theorems.pdf | 14184 | 2024-11-20 19:08:07 |
| - | property_theorems.svg | 35524 | 2025-01-18 21:25:30 |
| - | property_theorems_highlighted.eps | 24722 | 2025-01-18 21:28:16 |
| - | property_theorems_highlighted.svg | 34572 | 2025-01-18 20:33:33 |
| - | uvalogo_regular_compact_p_nl-eps-converted-to.pdf | 24113 | 2024-12-15 14:55:10 |
| - | uvalogo_regular_compact_p_nl.eps | 695434 | 2024-12-02 17:06:01 |
