This website requires JavaScript.
Explore
Help
Sign In
josia-notes
/
w23-logic-3
Watch
1
Star
0
Fork
0
You've already forked w23-logic-3
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 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
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
some small changes
#82
:
Commit
c9212aefdd
pushed by
josia
main
2024-02-05 02:32:20 +01:00
17m42s
reference to sheet 11
#81
:
Commit
dfd9be7925
pushed by
josia
main
2024-02-04 13:57:14 +01:00
18m14s
First
Previous
1
2
3
4
Next
Last