Josia Pietsch josia
1 Followers · 1 Following
Repositories Projects Packages Public Activity Starred Repositories
josia pushed to main at josia-notes/w23-logic-3 2023-12-08 01:39:30 +01:00
daec11591d lecture 15
josia pushed to master at josia-notes/w23-logic-2 2023-12-07 15:54:03 +01:00
ede97ee426 lecture 15
josia pushed to main at josia-notes/w23-logic-3 2023-12-06 13:57:28 +01:00
0a46981e53 countable clopen base
josia pushed to main at josia-notes/w23-logic-3 2023-12-05 18:13:45 +01:00
8038e2baeb tutorial
9a6205136a tutorials
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2023-12-05 17:14:14 +01:00
a738dabfc6 Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
b7671057ca tutorial
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2023-12-05 01:55:03 +01:00
6a9c2956b7 small fix
josia pushed to master at josia-notes/w23-logic-2 2023-12-04 16:06:49 +01:00
68280c4b70 typo
josia pushed to master at josia-notes/w23-logic-2 2023-12-04 15:46:11 +01:00
2b1296255b Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
b26a6ae0ab lecture 14
Compare 2 commits »
josia pushed to master at josia-notes/w23-logic-2 2023-12-03 02:50:45 +01:00
bc24bdab44 Suggestions by Mirko (pages 1 - 18), thank you!
josia pushed to main at josia-notes/w23-logic-3 2023-12-01 11:58:01 +01:00
0612713145 lecture 14
josia pushed to master at josia-notes/w23-logic-2 2023-11-30 15:53:38 +01:00
97757443c4 13
josia pushed to main at josia-notes/w23-logic-3 2023-11-28 13:53:19 +01:00
ae3510a631 tutorial 06
josia pushed to main at josia-notes/w23-logic-3 2023-11-28 11:58:37 +01:00
a0c5bbad0b 13
josia pushed to master at josia-notes/w23-logic-2 2023-11-27 16:08:46 +01:00
9a3359dfd0 lecture 12
josia pushed to main at josia-notes/w23-logic-3 2023-11-24 19:58:02 +01:00
79aeee590b fixed typo
josia pushed to master at josia-notes/w23-logic-2 2023-11-24 19:30:49 +01:00
e00a65122e lecture 10
josia pushed to master at josia-notes/w23-logic-2 2023-11-24 19:07:09 +01:00
a844f91bc5 lecture 10
josia pushed to main at josia-notes/w23-logic-3 2023-11-24 11:53:42 +01:00
f94d019d5e lecture 12
josia pushed to master at josia-notes/w23-logic-2 2023-11-23 15:38:31 +01:00
a8c758c5f0 lecture 11
4fc85f8473 lecture 11
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2023-11-21 13:24:50 +01:00
ea31fcac63 tutorial