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