Josia Pietsch josia

1 follower · 1 following

• Münster, Germany
• https://jrpie.de
• Joined on 2023-10-03
• • 

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