Josia Pietsch josia
1 follower · 1 following
Repositories Projects Packages Public activity Starred repositories
josia pushed to main at josia-notes/w23-logic-3 2024-02-05 02:14:37 +01:00
c9212aefdd some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-04 13:38:58 +01:00
dfd9be7925 reference to sheet 11
236874b1a5 some small changes
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-02-04 01:13:19 +01:00
24ed36d0a7 some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-04 00:46:37 +01:00
24aca6746f email about exam (2024-01-22)
josia pushed to main at josia-notes/w23-logic-3 2024-02-04 00:40:18 +01:00
6670dfbf6f some changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-03 01:59:57 +01:00
7746866373 ultrafilter limit
josia pushed to main at josia-notes/w23-logic-3 2024-02-02 12:52:37 +01:00
93976c4821 lecture 27
josia pushed to main at josia-notes/w23-logic-3 2024-02-02 12:50:54 +01:00
9a244692b1 lecture 27
josia pushed to main at josia-notes/w23-logic-3 2024-02-02 02:01:17 +01:00
7ec05540ef some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-02 02:00:00 +01:00
37f81861df some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-02 01:52:36 +01:00
1cc501fbe3 merge
5ed13d630f additional tutorial
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-02-02 01:48:13 +01:00
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
Compare 4 commits »
josia pushed to master at josia-notes/w23-logic-2 2024-02-01 17:57:00 +01:00
3faf497be7 exam
josia pushed to main at josia-notes/w23-logic-3 2024-01-30 18:48:15 +01:00
53577d9b57 tutorial 14
josia pushed to main at josia-notes/w23-logic-3 2024-01-30 12:08:17 +01:00
41fe970a0b lecture 26
josia pushed to main at josia-notes/w23-logic-3 2024-01-30 11:53:25 +01:00
d17e25f4d0 lecture 26
josia pushed to main at josia-notes/w23-logic-3 2024-01-26 11:56:58 +01:00
8f86b71d92 lecture 25
josia pushed to main at josia-notes/w23-logic-3 2024-01-25 20:25:30 +01:00
ef3b65edbd some fix for some problem
josia pushed to main at josia-notes/w23-logic-3 2024-01-25 20:18:55 +01:00
d22cc2f282 14
josia pushed to master at josia-notes/w23-logic-2 2024-01-25 18:57:16 +01:00
326cca0e54 lecture 23