|
|
ffcd9cd45f
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
|
2024-02-07 16:03:42 +01:00 |
|
|
|
096906056e
|
fixed typo
|
2024-02-07 16:03:39 +01:00 |
|
|
|
d7809a884a
|
some changes
Build latex and deploy / checkout (push) Successful in 5m5s
|
2024-02-07 13:18:14 +01:00 |
|
|
|
9d601c2e62
|
12.1, 12.2
Build latex and deploy / checkout (push) Failing after 15m44s
|
2024-02-06 22:13:34 +01:00 |
|
|
|
5b34fb34d1
|
countable well-orders
Build latex and deploy / checkout (push) Failing after 18m44s
|
2024-02-06 20:25:05 +01:00 |
|
|
|
227e2ac7b9
|
order / rank
Build latex and deploy / checkout (push) Waiting to run
|
2024-02-06 19:51:03 +01:00 |
|
|
|
6c2a76d838
|
improved lecture 17
Build latex and deploy / checkout (push) Failing after 18m19s
|
2024-02-05 20:30:13 +01:00 |
|
|
|
6670dfbf6f
|
some changes
Build latex and deploy / checkout (push) Waiting to run
|
2024-02-04 00:40:13 +01:00 |
|
|
|
37f81861df
|
some small changes
Build latex and deploy / checkout (push) Has been cancelled
|
2024-02-02 01:59:54 +01:00 |
|
|
|
0cceab0af9
|
some small changes
Build latex and deploy / checkout (push) Failing after 16m28s
|
2024-01-23 22:07:45 +01:00 |
|
|
|
11cdecd1da
|
22
Build latex and deploy / checkout (push) Waiting to run
|
2024-01-16 12:04:17 +01:00 |
|
|
|
99ca39e52c
|
lecture 18, 19
Build latex and deploy / checkout (push) Failing after 16m57s
|
2024-01-04 19:26:34 +01:00 |
|
|
|
ca0594ea69
|
lecture 16
Build latex and deploy / checkout (push) Failing after 13m6s
|
2023-12-09 18:23:59 +01:00 |
|
|
|
ab088dd877
|
moved definitions
Build latex and deploy / checkout (push) Failing after 12m42s
|
2023-12-09 02:29:22 +01:00 |
|
|
|
e203c901e1
|
lecture 16
Build latex and deploy / checkout (push) Failing after 15m0s
|
2023-12-08 16:57:51 +01:00 |
|
