This website requires JavaScript.
Explore
Help
Sign In
Josia Pietsch
josia
1 Followers
·
1 Following
Münster, Germany
https://jrpie.de
Joined on
2023-10-03
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
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
First
Previous
1
2
3
4
5
...
Next
Last