josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
All Workflows build.yaml
Actor
All actors josia
Status
All status success failure waiting running
fixed error
#112:Commit 76fb9b562f pushed by josia
main
2024-04-24 13:37:16 +02:00
18m11s
fixed error
#111:Commit a0cc70cadf pushed by josia
main
2024-04-24 13:19:04 +02:00
16m57s
small fix
#110:Commit bbb891594c pushed by josia
main
2024-02-12 19:32:17 +01:00
17m33s
some small changes
#109:Commit 3df55b6516 pushed by josia
main
2024-02-10 05:37:16 +01:00
15m54s
fixed some typesetting problems
#108:Commit 6c5eda59e4 pushed by josia
main
2024-02-09 21:02:15 +01:00
18m51s
fixed some typesetting problems
#107:Commit 458dd9ab1f pushed by josia
main
2024-02-09 20:42:15 +01:00
19m1s
removed junk
#106:Commit dcf4851177 pushed by josia
main
2024-02-09 20:12:15 +01:00
18m5s
some changes
#105:Commit de89e2dc1d pushed by josia
main
2024-02-08 17:47:15 +01:00
15m57s
more details
#104:Commit 1d96095f62 pushed by josia
main
2024-02-08 15:57:15 +01:00
20m0s
picture
#103:Commit 15c9ff10ea pushed by josia
main
2024-02-08 15:37:13 +01:00
5m36s
maximal isometric extension
#102:Commit af5ccd6c33 pushed by josia
main
2024-02-08 15:31:36 +01:00
8m1s
fixed typo
#101:Commit 6d028bcfbd pushed by josia
main
2024-02-08 00:44:15 +01:00
17m36s
fixed typo in gist
#100:Commit 1e35e182cf pushed by josia
main
2024-02-07 23:44:15 +01:00
15m38s
fixed typo in gist
#99:Commit 195ac2c378 pushed by josia
main
2024-02-07 23:28:36 +01:00
6m31s
more gist
#98:Commit bc8b5a8b6c pushed by josia
main
2024-02-07 23:04:15 +01:00
15m14s
gist
#97:Commit dd99d09b1c pushed by josia
main
2024-02-07 20:02:18 +01:00
17m51s
l21
#96:Commit 4c0c7730f1 pushed by josia
main
2024-02-07 18:17:18 +01:00
17m29s
fixed important typo
#95:Commit 82f0dfd4de pushed by josia
main
2024-02-07 16:17:18 +01:00
15m5s
some changes
#94:Commit d7809a884a pushed by josia
main
2024-02-07 13:23:26 +01:00
5m5s
some small changes
#93:Commit e887f46a5d pushed by josia
main
2024-02-07 02:22:18 +01:00
16m51s
12.1, 12.2
#92:Commit 9d601c2e62 pushed by josia
main
2024-02-06 22:29:25 +01:00
15m44s
countable well-orders
#91:Commit 5b34fb34d1 pushed by josia
main
2024-02-06 20:43:55 +01:00
18m44s
fixed typo
#90:Commit e3dea569e8 pushed by josia
main
2024-02-06 20:18:55 +01:00
18m0s
order / rank
#89:Commit 227e2ac7b9 pushed by josia
main
2024-02-06 20:00:54 +01:00
9m43s
fixed typo
#88:Commit 8c3be56270 pushed by josia
main
2024-02-06 15:58:55 +01:00
12m28s
more details
#87:Commit de2d240c5a pushed by josia
main
2024-02-06 15:19:11 +01:00
5m7s
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
#86:Commit 415ff41b60 pushed by josia
main
2024-02-06 15:14:04 +01:00
4m42s
some small changes
#85:Commit ba609dfed0 pushed by josia
main
2024-02-06 02:04:21 +01:00
17m21s
some small changes
#84:Commit 59d595f9ef pushed by josia
main
2024-02-05 23:54:21 +01:00
17m13s
improved lecture 17
#83:Commit 6c2a76d838 pushed by josia
main
2024-02-05 21:09:21 +01:00
18m19s