- Münster, Germany
- https://jrpie.de
- Joined on
2023-10-03
Block a user
a4ac283146
some changes on lectures 14 / 15
8913d34435
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
8c1cdc3587
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
de8e41de83
fixed typo