Jan-Niclas Loosen 719f5816e9 init repo		2025-05-07 10:48:37 +02:00
..
decidable.py	first homework	2025-04-18 20:28:21 +02:00
main.py	init repo	2025-05-07 10:48:37 +02:00