Josia Pietsch josia
1 follower · 1 following
Repositories Projects Packages Public activity Starred repositories
josia pushed to main at josia-notes/w23-logic-3 2023-11-21 12:34:32 +01:00
eb87abe472 lecture 11
josia pushed to main at josia-notes/w23-logic-3 2023-11-17 15:00:34 +01:00
820f756bd4 lecture 10
josia pushed to master at josia-notes/w23-logic-2 2023-11-16 15:38:43 +01:00
6936663173 lecture 09
josia pushed to master at josia-notes/w23-logic-2 2023-11-14 23:13:50 +01:00
32c8b3214b xspace
josia pushed to main at josia-notes/w23-logic-3 2023-11-14 13:22:06 +01:00
377dc4aebb tutorial 04
josia pushed to main at josia-notes/w23-logic-3 2023-11-14 11:53:42 +01:00
0d6d392d5d lecture 09
josia pushed to master at josia-notes/w23-logic-2 2023-11-13 20:28:27 +01:00
26c32ce1bb small fixes
josia pushed to master at josia-notes/w23-logic-2 2023-11-13 20:22:02 +01:00
64a348389b better ref for axioms
josia pushed to master at josia-notes/w23-logic-2 2023-11-13 19:42:54 +01:00
0771440511 some fixes
josia pushed to master at josia-notes/w23-logic-2 2023-11-13 15:52:40 +01:00
883ee88516 TODO
37e521d4af lecture 08
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2023-11-13 00:23:54 +01:00
bfcb894c89 lecture 08
josia pushed to master at josia-notes/w23-logic-2 2023-11-09 15:44:08 +01:00
54406f77ab Lecture 7
josia pushed to master at josia-notes/w23-logic-2 2023-11-06 16:22:36 +01:00
a6465aea45 lecture 6
josia pushed to master at josia-notes/w23-logic-2 2023-11-05 03:16:55 +01:00
e7baf0832b small changes
josia pushed to master at josia-notes/w23-logic-2 2023-11-05 00:51:02 +01:00
430ad82e8b lecture 04
josia pushed to master at josia-notes/w23-logic-2 2023-11-04 23:28:43 +01:00
340e034fdf lecture 4
josia pushed to main at josia-notes/w23-logic-3 2023-11-03 11:55:17 +01:00
d001b56d71 lecture 6
josia pushed to master at josia-notes/w23-logic-2 2023-10-31 20:16:20 +01:00
ab3a4b7556 lecture 06
josia pushed to main at josia-notes/w23-logic-3 2023-10-31 20:15:21 +01:00
da66c24763 tutorial 03
josia pushed to main at josia-notes/w23-logic-3 2023-10-31 11:53:34 +01:00
6c3d59bfde Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
0b659968db lecture 05
7478dfd30d tutorial 02
Compare 3 commits »