Commit Graph

74 Commits

Author SHA1 Message Date
Josia Pietsch ab14be172f
some small changes
Build latex and deploy / checkout (push) Failing after 14m16s Details
2024-02-16 19:47:21 +01:00
Josia Pietsch c03b6fc0ef
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 2024-02-16 19:28:29 +01:00
Josia Pietsch 115aba1670
remark on stationary sets, closedness of diagonal intersection 2024-02-16 19:28:21 +01:00
Josia Pietsch f4626be14b
some changes
Build latex and deploy / checkout (push) Failing after 17m22s Details
2024-02-15 04:44:48 +01:00
Josia Pietsch 858e017a4a
gist complete
Build latex and deploy / checkout (push) Failing after 14m50s Details
2024-02-14 23:19:23 +01:00
Josia Pietsch cac1563244
silver gist
Build latex and deploy / checkout (push) Failing after 17m37s Details
2024-02-14 18:44:32 +01:00
Josia Pietsch 515ff64ac6
some small changes
Build latex and deploy / checkout (push) Failing after 15m20s Details
2024-02-14 15:54:27 +01:00
Josia Pietsch 11f21af966
thank you, Mirko! 2024-02-14 13:35:06 +01:00
Josia Pietsch deaf6a6bb6
silver (unfinished gist)
Build latex and deploy / checkout (push) Failing after 15m15s Details
2024-02-14 02:06:55 +01:00
Josia Pietsch ebdf929dd7
some small changes, gist
Build latex and deploy / checkout (push) Failing after 16m11s Details
2024-02-13 02:00:58 +01:00
Josia Pietsch b1b2a5974d
some small changes
Build latex and deploy / checkout (push) Failing after 13m45s Details
2024-02-11 02:43:20 +01:00
Josia Pietsch 3faf497be7
exam
Build latex and deploy / checkout (push) Failing after 16m19s Details
2024-02-01 17:56:53 +01:00
Josia Pietsch 326cca0e54
lecture 23
Build latex and deploy / checkout (push) Failing after 15m3s Details
2024-01-25 15:35:02 +01:00
Josia Pietsch 11ca6cd6ae
lecture 22
Build latex and deploy / checkout (push) Failing after 14m14s Details
2024-01-22 15:54:52 +01:00
Josia Pietsch 946da98a04
lecture 21
Build latex and deploy / checkout (push) Failing after 15m17s Details
2024-01-18 15:43:47 +01:00
Josia Pietsch ca24c68790
tutorial
Build latex and deploy / checkout (push) Failing after 11m59s Details
2024-01-17 11:51:59 +01:00
Josia Pietsch 66d38de1ea
updated proof on diagonal intersection
Build latex and deploy / checkout (push) Failing after 13m51s Details
2024-01-16 00:10:27 +01:00
Josia Pietsch 3d9d71fbd3
updated proof on diagonal intersection
Build latex and deploy / checkout (push) Waiting to run Details
2024-01-16 00:06:50 +01:00
Josia Pietsch 92a06d3a90
lecture 20
Build latex and deploy / checkout (push) Failing after 12m29s Details
2024-01-15 15:47:41 +01:00
Josia Pietsch f20516fa8c
lecture 20
Build latex and deploy / checkout (push) Has been cancelled Details
2024-01-15 15:47:24 +01:00
Josia Pietsch 9b625846ec
19
Build latex and deploy / checkout (push) Successful in 2m0s Details
2024-01-13 03:50:51 +01:00
Josia Pietsch c56c961955
lecture 18
Build latex and deploy / checkout (push) Failing after 16m26s Details
2024-01-10 22:52:45 +01:00
Josia Pietsch 1b02d7e7f3
fixed numbers of lectures and failed merge
Build latex and deploy / checkout (push) Failing after 13m44s Details
2024-01-10 22:30:24 +01:00
Josia Pietsch 8ce92917ed
small changes 2024-01-10 22:22:28 +01:00
Josia Pietsch 73b8fb0dd1
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
Build latex and deploy / checkout (push) Failing after 16m37s Details
2024-01-09 05:05:30 +01:00
Josia Pietsch d3436bbbdb
fix small typo 2024-01-09 05:05:25 +01:00
Josia Pietsch 173015ffc9
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
Build latex and deploy / checkout (push) Failing after 11m45s Details
2023-12-19 03:43:49 +01:00
Josia Pietsch 76cce468aa
automatic commit jrpie-t490 2023-12-19 03:43:49 +01:00
Josia Pietsch a2f5328287
lecture 17
Build latex and deploy / checkout (push) Failing after 12m24s Details
2023-12-18 21:16:41 +01:00
Josia Pietsch 8995d116c0
lecture 17 2023-12-18 21:16:36 +01:00
Josia Pietsch 5ee9701949
thank you!
Build latex and deploy / checkout (push) Successful in 1m38s Details
2023-12-15 19:10:23 +01:00
Josia Pietsch 8eba654cdc
thank you!
Build latex and deploy / checkout (push) Waiting to run Details
2023-12-15 19:03:29 +01:00
Josia Pietsch 8f00d7998b
lecture 16
Build latex and deploy / checkout (push) Failing after 15m9s Details
2023-12-15 05:26:57 +01:00
Josia Pietsch 42af65da7a
lecture 16 2023-12-11 15:45:36 +01:00
Josia Pietsch ede97ee426
lecture 15
Build latex and deploy / checkout (push) Failing after 13m8s Details
2023-12-07 15:54:40 +01:00
Josia Pietsch 68280c4b70
typo
Build latex and deploy / checkout (push) Failing after 15m24s Details
2023-12-04 16:07:22 +01:00
Josia Pietsch 2b1296255b
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
Build latex and deploy / checkout (push) Failing after 11m0s Details
2023-12-04 15:46:40 +01:00
Josia Pietsch b26a6ae0ab
lecture 14 2023-12-04 15:46:30 +01:00
Josia Pietsch bc24bdab44
Suggestions by Mirko (pages 1 - 18), thank you!
Build latex and deploy / checkout (push) Failing after 11m25s Details
2023-12-03 02:50:36 +01:00
Josia Pietsch 97757443c4
13
Build latex and deploy / checkout (push) Failing after 13m35s Details
2023-11-30 15:54:02 +01:00
Josia Pietsch 9a3359dfd0
lecture 12
Build latex and deploy / checkout (push) Successful in 1m18s Details
2023-11-27 16:07:23 +01:00
Josia Pietsch e00a65122e
lecture 10
Build latex and deploy / checkout (push) Failing after 11m22s Details
2023-11-24 19:31:00 +01:00
Josia Pietsch a844f91bc5
lecture 10
Build latex and deploy / checkout (push) Failing after 15m2s Details
2023-11-24 19:07:12 +01:00
Josia Pietsch a8c758c5f0
lecture 11
Build latex and deploy / checkout (push) Failing after 11m0s Details
2023-11-23 15:38:40 +01:00
Josia Pietsch 4fc85f8473
lecture 11 2023-11-23 15:38:28 +01:00
Josia Pietsch 6936663173
lecture 09
Build latex and deploy / checkout (push) Failing after 13m28s Details
2023-11-16 15:38:46 +01:00
Josia Pietsch 32c8b3214b
xspace
Build latex and deploy / checkout (push) Successful in 1m12s Details
2023-11-14 23:13:39 +01:00
Josia Pietsch 26c32ce1bb
small fixes
Build latex and deploy / checkout (push) Successful in 1m13s Details
2023-11-13 20:28:21 +01:00
Josia Pietsch 64a348389b
better ref for axioms
Build latex and deploy / checkout (push) Successful in 1m13s Details
2023-11-13 20:21:51 +01:00
Josia Pietsch 0771440511
some fixes
Build latex and deploy / checkout (push) Successful in 1m12s Details
2023-11-13 19:42:48 +01:00