Josia Pietsch josia
1 Followers · 1 Following
Repositories Projects Packages Public Activity Starred Repositories
josia pushed to main at josia-notes/w23-logic-3 2024-01-25 13:59:09 +01:00
c03a62f638 gist for lecture 13
67a851748e Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
0f4328f0d1 small changes
Compare 3 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-01-24 23:14:11 +01:00
f7f9d7d638 some changes
josia pushed to main at josia-notes/w23-logic-3 2024-01-24 16:06:48 +01:00
e59e97ca03 fix
josia pushed to main at josia-notes/w23-logic-3 2024-01-24 15:35:20 +01:00
acb56df1c2 gist 12
josia pushed to main at josia-notes/w23-logic-3 2024-01-24 00:14:05 +01:00
3917993d93 some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 22:07:51 +01:00
0cceab0af9 some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 21:55:46 +01:00
68a7e9d428 fixed typo
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 21:52:55 +01:00
c986475c77 gist for lectures 1-4
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 20:56:21 +01:00
0a14244eb3 gist intro
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 14:29:40 +01:00
09658bbcb5 Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
4d3e3c2a49 tutorial 13
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 10:55:24 +01:00
8f800b4403 Homework
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 10:54:23 +01:00
6777bf60ee lecture 24
josia pushed to main at josia-notes/w23-logic-3 2024-01-23 00:30:04 +01:00
5beffa0067 test gist
josia pushed to main at josia-notes/w23-logic-3 2024-01-22 17:35:21 +01:00
415d12cf6a gist test
josia pushed to master at josia-notes/w23-logic-2 2024-01-22 15:53:11 +01:00
11ca6cd6ae lecture 22
josia pushed to main at josia-notes/w23-logic-3 2024-01-19 11:54:41 +01:00
a04a4468b0 lecture 23
josia pushed to main at josia-notes/w23-logic-3 2024-01-19 11:51:40 +01:00
195f28869b lecture 23
josia pushed to main at josia-notes/w23-logic-3 2024-01-19 11:51:25 +01:00
4b9bbd2ef0 lecture 23
josia pushed to main at josia-notes/w23-logic-3 2024-01-18 17:16:18 +01:00
206b61941e Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
14cc41cea5 some small changes
Compare 2 commits »
josia pushed to master at josia-notes/w23-logic-2 2024-01-18 15:42:03 +01:00
946da98a04 lecture 21