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-04-24 13:19:04 +02:00
76fb9b562f fixed error
josia pushed to main at josia-notes/w23-logic-3 2024-04-24 13:02:05 +02:00
a0cc70cadf fixed error
josia pushed to master at josia-notes/w23-logic-2 2024-03-20 22:18:19 +01:00
9956de5277 yaref dependencies
josia pushed to main at abstractnonsense/pages 2024-02-22 16:24:52 +01:00
e9f147331d updated readme
josia pushed to master at josia-notes/w23-logic-2 2024-02-16 19:44:58 +01:00
ab14be172f some small changes
c03b6fc0ef Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
115aba1670 remark on stationary sets, closedness of diagonal intersection
Compare 3 commits »
josia pushed to master at josia-notes/w23-logic-2 2024-02-15 04:44:53 +01:00
f4626be14b some changes
josia pushed to master at josia-notes/w23-logic-2 2024-02-14 23:19:29 +01:00
858e017a4a gist complete
josia pushed to master at josia-notes/w23-logic-2 2024-02-14 18:44:38 +01:00
cac1563244 silver gist
josia pushed to master at josia-notes/w23-logic-2 2024-02-14 15:51:57 +01:00
515ff64ac6 some small changes
11f21af966 thank you, Mirko!
Compare 2 commits »
josia pushed to master at josia-notes/w23-logic-2 2024-02-14 02:07:00 +01:00
deaf6a6bb6 silver (unfinished gist)
josia pushed to master at josia-notes/w23-logic-2 2024-02-13 02:01:05 +01:00
ebdf929dd7 some small changes, gist
josia pushed to main at josia-notes/w23-logic-3 2024-02-12 19:14:43 +01:00
bbb891594c small fix
josia pushed to master at josia-notes/w23-logic-2 2024-02-11 02:43:29 +01:00
b1b2a5974d some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-10 05:21:21 +01:00
3df55b6516 some small changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-09 20:43:23 +01:00
6c5eda59e4 fixed some typesetting problems
josia pushed to main at josia-notes/w23-logic-3 2024-02-09 20:23:13 +01:00
458dd9ab1f fixed some typesetting problems
josia pushed to main at josia-notes/w23-logic-3 2024-02-09 19:54:07 +01:00
dcf4851177 removed junk
4d1690088f fixed typo
Compare 2 commits »
josia pushed to main at josia-notes/w23-logic-3 2024-02-08 17:31:17 +01:00
de89e2dc1d some changes
josia pushed to main at josia-notes/w23-logic-3 2024-02-08 15:37:13 +01:00
1d96095f62 more details
josia pushed to main at josia-notes/w23-logic-3 2024-02-08 15:31:36 +01:00
15c9ff10ea picture