1
0
Commit Graph

6 Commits

Author SHA1 Message Date
f7ecdeb4ce minor changes 2023-06-06 16:49:15 +02:00
4b4b4f66b9 finish proseminar skript 2023-06-02 15:55:36 +02:00
51190ca83b add missing proof part; add todo 2023-06-02 12:24:24 +02:00
fe9e152255 Almost finish 2023-06-01 21:14:21 +02:00
a5e8eb83ec Refactor sth 2023-05-30 20:03:14 +02:00
42802819fb Refactor: add title, refactor chapter 3, combine ch1 and ch2 2023-05-30 19:36:58 +02:00