w23-logic-2

yaref dependencies

build.yaml #61 -Commit 9956de5277 pushed by josia

master

2024-03-20 22:34:17 +01:00

15m57s

some small changes

build.yaml #60 -Commit ab14be172f pushed by josia

master

2024-02-16 19:59:15 +01:00

14m15s

some changes

build.yaml #59 -Commit f4626be14b pushed by josia

master

2024-02-15 05:02:17 +01:00

17m21s

gist complete

build.yaml #58 -Commit 858e017a4a pushed by josia

master

2024-02-14 23:34:19 +01:00

14m49s

silver gist

build.yaml #57 -Commit cac1563244 pushed by josia

master

2024-02-14 19:02:17 +01:00

17m37s

some small changes

build.yaml #56 -Commit 515ff64ac6 pushed by josia

master

2024-02-14 16:07:17 +01:00

15m19s

silver (unfinished gist)

build.yaml #55 -Commit deaf6a6bb6 pushed by josia

master

2024-02-14 02:22:17 +01:00

15m15s

some small changes, gist

build.yaml #54 -Commit ebdf929dd7 pushed by josia

master

2024-02-13 02:17:17 +01:00

16m11s

some small changes

build.yaml #53 -Commit b1b2a5974d pushed by josia

master

2024-02-11 02:57:15 +01:00

13m45s

exam

build.yaml #52 -Commit 3faf497be7 pushed by josia

master

2024-02-01 18:13:19 +01:00

16m19s

lecture 23

build.yaml #51 -Commit 326cca0e54 pushed by josia

master

2024-01-25 19:12:19 +01:00

15m3s

lecture 22

build.yaml #50 -Commit 11ca6cd6ae pushed by josia

master

2024-01-22 16:07:27 +01:00

14m14s

lecture 21

build.yaml #49 -Commit 946da98a04 pushed by josia

master

2024-01-18 15:57:21 +01:00

15m17s

tutorial

build.yaml #48 -Commit ca24c68790 pushed by josia

master

2024-01-17 12:02:19 +01:00

11m59s

updated proof on diagonal intersection

build.yaml #47 -Commit 66d38de1ea pushed by josia

master

2024-01-16 00:24:26 +01:00

13m51s

updated proof on diagonal intersection

build.yaml #46 -Commit 3d9d71fbd3 pushed by josia

master

2024-01-16 00:10:33 +01:00

3m36s

lecture 20

build.yaml #45 -Commit 92a06d3a90 pushed by josia

master

2024-01-15 15:58:35 +01:00

12m29s

lecture 20

build.yaml #44 -Commit f20516fa8c pushed by josia

master

2024-01-15 15:46:04 +01:00

18s

lecture 18

build.yaml #42 -Commit c56c961955 pushed by josia

master

2024-01-10 23:09:16 +01:00

16m26s

fixed numbers of lectures and failed merge

build.yaml #41 -Commit 1b02d7e7f3 pushed by josia

master

2024-01-10 22:44:16 +01:00

13m44s

Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

build.yaml #40 -Commit 73b8fb0dd1 pushed by josia

master

2024-01-09 05:22:17 +01:00

16m37s

Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

build.yaml #39 -Commit 173015ffc9 pushed by josia

master

2023-12-19 03:54:45 +01:00

11m45s

lecture 17

build.yaml #38 -Commit a2f5328287 pushed by josia

master

2023-12-18 21:29:14 +01:00

12m24s

thank you!

build.yaml #36 -Commit 8eba654cdc pushed by josia

master

2023-12-15 19:10:31 +01:00

6m25s

lecture 16

build.yaml #35 -Commit 8f00d7998b pushed by josia

master

2023-12-15 05:42:13 +01:00

15m9s

lecture 15

build.yaml #34 -Commit ede97ee426 pushed by josia

master

2023-12-07 16:07:13 +01:00

13m8s

typo

build.yaml #33 -Commit 68280c4b70 pushed by josia

master

2023-12-04 16:22:13 +01:00

15m24s

Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2

build.yaml #32 -Commit 2b1296255b pushed by josia

master

2023-12-04 15:57:13 +01:00

11m0s

Suggestions by Mirko (pages 1 - 18), thank you!

build.yaml #31 -Commit bc24bdab44 pushed by josia

master

2023-12-03 03:42:13 +01:00

-13m3s

13

build.yaml #30 -Commit 97757443c4 pushed by josia

master

2023-11-30 16:07:14 +01:00

13m34s