w23-logic-2

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

lecture 12

build.yaml #29 -Commit 9a3359dfd0 pushed by josia

master

2023-11-27 16:10:06 +01:00

1m19s

lecture 10

build.yaml #28 -Commit e00a65122e pushed by josia

master

2023-11-24 19:42:12 +01:00

11m22s

lecture 10

build.yaml #27 -Commit a844f91bc5 pushed by josia

master

2023-11-24 19:22:12 +01:00

15m2s

lecture 11

build.yaml #26 -Commit a8c758c5f0 pushed by josia

master

2023-11-23 15:49:32 +01:00

11m0s

lecture 09

build.yaml #25 -Commit 6936663173 pushed by josia

master

2023-11-16 15:52:13 +01:00

13m28s

xspace

build.yaml #24 -Commit 32c8b3214b pushed by josia

master

2023-11-14 23:15:04 +01:00

1m13s

small fixes

build.yaml #23 -Commit 26c32ce1bb pushed by josia

master

2023-11-13 20:29:43 +01:00

1m14s

better ref for axioms

build.yaml #22 -Commit 64a348389b pushed by josia

master

2023-11-13 20:23:17 +01:00

1m14s

some fixes

build.yaml #21 -Commit 0771440511 pushed by josia

master

2023-11-13 19:44:08 +01:00

1m13s

TODO

build.yaml #20 -Commit 883ee88516 pushed by josia

master

2023-11-13 15:53:20 +01:00

40s

Lecture 7

build.yaml #19 -Commit 54406f77ab pushed by josia

master

2023-11-09 15:57:12 +01:00

13m2s

lecture 6

build.yaml #18 -Commit a6465aea45 pushed by josia

master

2023-11-06 16:37:12 +01:00

14m35s

small changes

build.yaml #17 -Commit e7baf0832b pushed by josia

master

2023-11-05 03:32:13 +01:00

15m16s

lecture 04

build.yaml #16 -Commit 430ad82e8b pushed by josia

master

2023-11-05 01:15:21 +01:00

16m8s

lecture 4

build.yaml #15 -Commit 340e034fdf pushed by josia

master

2023-11-05 01:00:07 +01:00

56s

lecture 06

build.yaml #14 -Commit ab3a4b7556 pushed by josia

master

2023-10-31 20:17:01 +01:00

41s

lecture 5

build.yaml #13 -Commit c787dd2b51 pushed by josia

master

2023-10-30 15:53:36 +01:00

40s

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

build.yaml #12 -Commit 10313b35f1 pushed by josia

master

2023-10-25 15:52:12 +02:00

14m10s

small fix

build.yaml #11 -Commit b5e2d09090 pushed by josia

master

2023-10-24 11:07:11 +02:00

16m3s

fixed label

build.yaml #10 -Commit fb2c5b2715 pushed by josia

master

2023-10-24 11:02:11 +02:00

13m17s

fixed label

build.yaml #9 -Commit 4a27324442 pushed by josia

master

2023-10-24 10:35:57 +02:00

1m7s

lecture 03

build.yaml #8 -Commit 1860f988c2 pushed by josia

master

2023-10-24 00:03:08 +02:00

1m8s

03 beginning

build.yaml #7 -Commit ad39e2ac6d pushed by josia

master

2023-10-23 22:44:44 +02:00

1m6s

lecture 02

build.yaml #6 -Commit f7bd6359bd pushed by josia

master

2023-10-23 11:45:28 +02:00

1m6s

updated README.md

build.yaml #5 -Commit 5f5de21d3d pushed by josia

master

2023-10-21 21:27:52 +02:00

1m10s

fixed ci

build.yaml #4 -Commit a7c18aa973 pushed by josia

master

2023-10-17 23:49:26 +02:00

1m6s

add readme to pages

build.yaml #3 -Commit 1306c62e93 pushed by josia

master

2023-10-17 23:44:56 +02:00

17s

gitea ci

build.yaml #2 -Commit 513c04095e pushed by josia

master

2023-10-17 21:08:08 +02:00

1m6s