Commit graph

133 commits

Author SHA1 Message Date
68a7e9d428
fixed typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 1m4s
2024-01-23 21:55:41 +01:00
c986475c77
gist for lectures 1-4
Some checks failed
Build latex and deploy / checkout (push) Failing after 1m4s
2024-01-23 21:52:45 +01:00
0a14244eb3
gist intro
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m58s
2024-01-23 20:56:14 +01:00
09658bbcb5
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m41s
2024-01-23 14:29:32 +01:00
4d3e3c2a49
tutorial 13 2024-01-23 14:29:27 +01:00
8f800b4403
Homework
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m56s
2024-01-23 10:57:14 +01:00
6777bf60ee
lecture 24
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-01-23 10:56:16 +01:00
5beffa0067
test gist
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m16s
2024-01-22 23:15:32 +01:00
415d12cf6a
gist test
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m6s
2024-01-22 17:37:13 +01:00
a04a4468b0
lecture 23
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m38s
2024-01-19 11:56:29 +01:00
195f28869b
lecture 23
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-01-19 11:53:27 +01:00
4b9bbd2ef0
lecture 23
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-01-19 11:53:11 +01:00
206b61941e
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m1s
2024-01-18 17:17:33 +01:00
14cc41cea5
some small changes 2024-01-18 17:17:27 +01:00
56f36dd553
automatic commit jrpie-PC
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m19s
2024-01-17 01:15:13 +01:00
5dc9e52fc5
sheet 11
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m50s
2024-01-17 00:00:40 +01:00
2cf18169c2
sheet 11
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-01-16 23:59:47 +01:00
f074e8841b
tutorial 12
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m22s
2024-01-16 23:14:56 +01:00
b0a943abb1
fixed typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m28s
2024-01-16 12:07:34 +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
bcec8f96de
lecture 21
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m59s
2024-01-15 23:27:19 +01:00
957c9d9712
lecture 21
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-01-15 23:27:08 +01:00
82f44e36e8
FIXED IMPORTANT TYPO! & small changes 2024-01-13 23:42:59 +01:00
fc4f57a8b0
small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m6s
2024-01-12 01:44:05 +01:00
72025f8ea8
clopenization
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-01-12 01:31:12 +01:00
ebf7add005
some changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m26s
2024-01-11 23:57:43 +01:00
e962b1a314
thank you, Mirko!
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m20s
2024-01-09 23:03:24 +01:00
cf5a26ec93
lecture 20 2024-01-09 22:49:22 +01:00
e7a325bac8
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-01-09 20:24:24 +01:00
62fcb59f94
tutorial 10 2024-01-09 20:23:57 +01:00
324dddda04
Sheet 9, exercise 4
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m48s
2024-01-06 19:04:51 +01:00
8ff3cadebd
small fix
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m3s
2024-01-05 17:43:25 +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
0fb9ea8ffb
exercise 1.4b 2024-01-04 14:59:44 +01:00
c3948b12ec
tutorial 10
All checks were successful
Build latex and deploy / checkout (push) Successful in 2m33s
2023-12-19 17:39:37 +01:00
aa7f3de504
lecture 10
Some checks failed
Build latex and deploy / checkout (push) Failing after 50s
2023-12-19 13:37:02 +01:00
d5930d6a43
small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m19s
2023-12-14 00:50:44 +01:00
5de0726c3c
tutorial 09
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m51s
2023-12-12 13:31:59 +01:00
de4897f59a
lecture 17
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m17s
2023-12-12 12:10:37 +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
da2f702604
moved definition
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m8s
2023-12-08 02:02:59 +01:00
c59fdb1c9d
definition group action
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2023-12-08 02:00:43 +01:00
f0bab3e1ac
removed junk 2023-12-08 01:55:13 +01:00
c1316d8bb5
fixed typos
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m3s
2023-12-08 01:42:08 +01:00
daec11591d
lecture 15
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2023-12-08 01:39:20 +01:00
0a46981e53
countable clopen base
Some checks failed
Build latex and deploy / checkout (push) Failing after 14m43s
2023-12-06 13:57:23 +01:00
8038e2baeb
tutorial
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m34s
2023-12-05 18:13:30 +01:00
9a6205136a
tutorials 2023-12-05 17:14:51 +01:00