Josia Pietsch josia
1 Followers · 1 Following
Repositories Projects Packages Public Activity Starred Repositories
josia pushed to master at josia-notes/w23-logic-2 2024-01-09 05:05:40 +01:00
73b8fb0dd1 Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
d3436bbbdb fix small typo
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-01-06 19:03:28 +01:00
324dddda04 Sheet 9, exercise 4
josia pushed to main at josia-notes/w23-logic-3 2024-01-05 17:42:11 +01:00
8ff3cadebd small fix
josia pushed to main at josia-notes/w23-logic-3 2024-01-04 19:25:17 +01:00
99ca39e52c lecture 18, 19
0fb9ea8ffb exercise 1.4b
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2023-12-19 17:38:47 +01:00
c3948b12ec tutorial 10
josia pushed to main at josia-notes/w23-logic-3 2023-12-19 13:36:09 +01:00
aa7f3de504 lecture 10
josia pushed to master at josia-notes/w23-logic-2 2023-12-19 03:42:58 +01:00
173015ffc9 Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
76cce468aa automatic commit jrpie-t490
42af65da7a lecture 16
Compare 3 commits »
josia pushed to master at josia-notes/w23-logic-2 2023-12-18 21:16:49 +01:00
a2f5328287 lecture 17
8995d116c0 lecture 17
Compare 2 commits »
josia pushed to master at josia-notes/w23-logic-2 2023-12-15 19:10:31 +01:00
5ee9701949 thank you!
josia pushed to master at josia-notes/w23-logic-2 2023-12-15 19:04:04 +01:00
8eba654cdc thank you!
josia pushed to master at josia-notes/w23-logic-2 2023-12-15 05:27:02 +01:00
8f00d7998b lecture 16
josia pushed to main at josia-notes/w23-logic-3 2023-12-14 00:50:52 +01:00
d5930d6a43 small changes
josia pushed to main at josia-notes/w23-logic-3 2023-12-13 01:38:22 +01:00
5de0726c3c tutorial 09
josia pushed to main at josia-notes/w23-logic-3 2023-12-12 12:09:55 +01:00
de4897f59a lecture 17
josia pushed to main at josia-notes/w23-logic-3 2023-12-09 18:24:06 +01:00
ca0594ea69 lecture 16
josia pushed to main at josia-notes/w23-logic-3 2023-12-09 02:29:31 +01:00
ab088dd877 moved definitions
josia pushed to main at josia-notes/w23-logic-3 2023-12-08 16:57:12 +01:00
e203c901e1 lecture 16
josia pushed to main at josia-notes/w23-logic-3 2023-12-08 02:03:05 +01:00
da2f702604 moved definition
josia pushed to main at josia-notes/w23-logic-3 2023-12-08 02:00:49 +01:00
c59fdb1c9d definition group action
f0bab3e1ac removed junk
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2023-12-08 01:42:14 +01:00
c1316d8bb5 fixed typos