Commit graph

15 commits

Author SHA1 Message Date
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
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m5s
2024-02-07 13:18:14 +01:00
9d601c2e62
12.1, 12.2
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m44s
2024-02-06 22:13:34 +01:00
5b34fb34d1
countable well-orders
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m44s
2024-02-06 20:25:05 +01:00
227e2ac7b9
order / rank
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-06 19:51:03 +01:00
6c2a76d838
improved lecture 17
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m19s
2024-02-05 20:30:13 +01:00
6670dfbf6f
some changes
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-04 00:40:13 +01:00
37f81861df
some small changes
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-02-02 01:59:54 +01:00
0cceab0af9
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m28s
2024-01-23 22:07:45 +01:00
11cdecd1da
22
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-01-16 12:04:17 +01:00
99ca39e52c
lecture 18, 19
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m57s
2024-01-04 19:26:34 +01:00
ca0594ea69
lecture 16
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m6s
2023-12-09 18:23:59 +01:00
ab088dd877
moved definitions
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m42s
2023-12-09 02:29:22 +01:00
e203c901e1
lecture 16
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m0s
2023-12-08 16:57:51 +01:00