Josia Pietsch josia
1 follower · 1 following
Repositories Projects Packages Public activity Starred repositories
josia pushed to master at josia-notes/w23-logic-2 2024-01-17 11:50:19 +01:00
ca24c68790 tutorial
josia pushed to main at josia-notes/w23-logic-3 2024-01-17 01:15:18 +01:00
56f36dd553 automatic commit jrpie-PC
josia pushed to main at josia-notes/w23-logic-3 2024-01-17 00:00:45 +01:00
5dc9e52fc5 sheet 11
josia pushed to main at josia-notes/w23-logic-3 2024-01-16 23:59:54 +01:00
2cf18169c2 sheet 11
josia pushed to main at josia-notes/w23-logic-3 2024-01-16 23:13:14 +01:00
f074e8841b tutorial 12
josia pushed to main at josia-notes/w23-logic-3 2024-01-16 12:05:51 +01:00
b0a943abb1 fixed typo
josia pushed to main at josia-notes/w23-logic-3 2024-01-16 12:02:36 +01:00
11cdecd1da 22
josia pushed to master at josia-notes/w23-logic-2 2024-01-16 00:10:33 +01:00
66d38de1ea updated proof on diagonal intersection
josia pushed to master at josia-notes/w23-logic-2 2024-01-16 00:06:56 +01:00
3d9d71fbd3 updated proof on diagonal intersection
josia pushed to main at josia-notes/w23-logic-3 2024-01-15 23:27:26 +01:00
bcec8f96de lecture 21
josia pushed to main at josia-notes/w23-logic-3 2024-01-15 23:27:15 +01:00
957c9d9712 lecture 21
82f44e36e8 FIXED IMPORTANT TYPO! & small changes
Compare 2 commits »
josia pushed to master at josia-notes/w23-logic-2 2024-01-15 15:46:04 +01:00
92a06d3a90 lecture 20
josia pushed to master at josia-notes/w23-logic-2 2024-01-15 15:45:45 +01:00
f20516fa8c lecture 20
josia pushed to master at josia-notes/w23-logic-2 2024-01-13 03:50:57 +01:00
9b625846ec 19
josia pushed to main at josia-notes/w23-logic-3 2024-01-12 01:44:09 +01:00
fc4f57a8b0 small changes
josia pushed to main at josia-notes/w23-logic-3 2024-01-12 01:31:19 +01:00
72025f8ea8 clopenization
josia pushed to main at josia-notes/w23-logic-3 2024-01-11 23:57:48 +01:00
ebf7add005 some changes
josia pushed to master at josia-notes/w23-logic-2 2024-01-10 22:52:50 +01:00
c56c961955 lecture 18
josia pushed to master at josia-notes/w23-logic-2 2024-01-10 22:30:31 +01:00
1b02d7e7f3 fixed numbers of lectures and failed merge
8ce92917ed small changes
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-01-10 00:20:56 +01:00
e962b1a314 thank you, Mirko!
cf5a26ec93 lecture 20
e7a325bac8 Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
62fcb59f94 tutorial 10
Compare 4 commits »