Josia Pietsch jrpie
0 Followers · 0 Following
Repositories Projects Packages Public Activity Starred Repositories
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-20 11:53:46 +02:00
f838245711 Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
3bb3c4e75d lecture 4
Compare 2 commits »
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-19 20:18:48 +02:00
b636d722d4 Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
fa19ca3b6e small change
6961c2d5f0 lecture 02 fixed proof of 'polish subspace of polish space is G_delta'
Compare 3 commits »
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-19 17:09:00 +02:00
1713fec189 small changes
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-19 16:59:57 +02:00
a7c3cd0d3b tutorial 1
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-17 16:21:09 +02:00
66b7b06200 Lecture 03
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-17 13:08:21 +02:00
00cf1a93e7 Lecture 3
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-17 11:56:37 +02:00
394cc8ddcf Lecture 3
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-14 00:04:32 +02:00
73eb4f1645 set language to english
jrpie pushed to main at jrpie-notes/algebra 2023-07-31 03:16:46 +02:00
f04343f5ad updated readme
jrpie opened issue jrpie-notes/algebra#2 2023-07-31 03:14:52 +02:00
Use autoref or yaref instead of ref
jrpie opened issue jrpie-notes/algebra#1 2023-07-31 03:14:27 +02:00
Use more display math instead of line math
jrpie pushed to main at jrpie-notes/algebra 2023-07-31 03:13:07 +02:00
96d9e72520 updated submodule path