Minlog-Kurs 03 - Beweise mit Existenzquantoren
11:38
Minlog-Kurs 04 - Konjunktion, Disjunktion
22:59
La paradoja de la cúpula: una laguna en las leyes de Newton
1:18:48
[Day 11] Advent of Code
42:25
WS2024 / [02] Grundlagen der Programmierung / Auflösung der 2. Leistungsüberprüfung
23:27
Minlog-Kurs 16 - Coinduktion und Corekursion
12:24
Minlog-Kurs 02 - Prädikatenlogik
1:26:50
Advent of Code 2024: Day 19 in Haskell
9:44