josia-notes/w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	8eba654cdc	thank you! Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2023-12-15 19:03:29 +01:00
Josia Pietsch	8f00d7998b	lecture 16 Some checks failed Build latex and deploy / checkout (push) Failing after 15m9s Details	2023-12-15 05:26:57 +01:00
Josia Pietsch	ede97ee426	lecture 15 Some checks failed Build latex and deploy / checkout (push) Failing after 13m8s Details	2023-12-07 15:54:40 +01:00
Josia Pietsch	68280c4b70	typo Some checks failed Build latex and deploy / checkout (push) Failing after 15m24s Details	2023-12-04 16:07:22 +01:00
Josia Pietsch	2b1296255b	Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Some checks failed Build latex and deploy / checkout (push) Failing after 11m0s Details	2023-12-04 15:46:40 +01:00
Josia Pietsch	b26a6ae0ab	lecture 14	2023-12-04 15:46:30 +01:00
Josia Pietsch	bc24bdab44	Suggestions by Mirko (pages 1 - 18), thank you! Some checks failed Build latex and deploy / checkout (push) Failing after 11m25s Details	2023-12-03 02:50:36 +01:00
Josia Pietsch	97757443c4	13 Some checks failed Build latex and deploy / checkout (push) Failing after 13m35s Details	2023-11-30 15:54:02 +01:00
Josia Pietsch	9a3359dfd0	lecture 12 All checks were successful Build latex and deploy / checkout (push) Successful in 1m18s Details	2023-11-27 16:07:23 +01:00
Josia Pietsch	e00a65122e	lecture 10 Some checks failed Build latex and deploy / checkout (push) Failing after 11m22s Details	2023-11-24 19:31:00 +01:00
Josia Pietsch	a844f91bc5	lecture 10 Some checks failed Build latex and deploy / checkout (push) Failing after 15m2s Details	2023-11-24 19:07:12 +01:00
Josia Pietsch	a8c758c5f0	lecture 11 Some checks failed Build latex and deploy / checkout (push) Failing after 11m0s Details	2023-11-23 15:38:40 +01:00
Josia Pietsch	4fc85f8473	lecture 11	2023-11-23 15:38:28 +01:00
Josia Pietsch	6936663173	lecture 09 Some checks failed Build latex and deploy / checkout (push) Failing after 13m28s Details	2023-11-16 15:38:46 +01:00
Josia Pietsch	32c8b3214b	xspace All checks were successful Build latex and deploy / checkout (push) Successful in 1m12s Details	2023-11-14 23:13:39 +01:00
Josia Pietsch	26c32ce1bb	small fixes All checks were successful Build latex and deploy / checkout (push) Successful in 1m13s Details	2023-11-13 20:28:21 +01:00
Josia Pietsch	64a348389b	better ref for axioms All checks were successful Build latex and deploy / checkout (push) Successful in 1m13s Details	2023-11-13 20:21:51 +01:00
Josia Pietsch	0771440511	some fixes All checks were successful Build latex and deploy / checkout (push) Successful in 1m12s Details	2023-11-13 19:42:48 +01:00
Josia Pietsch	883ee88516	TODO Some checks failed Build latex and deploy / checkout (push) Failing after 39s Details	2023-11-13 15:52:38 +01:00
Josia Pietsch	37e521d4af	lecture 08	2023-11-13 15:50:08 +01:00
Josia Pietsch	54406f77ab	Lecture 7 Some checks failed Build latex and deploy / checkout (push) Failing after 13m2s Details	2023-11-09 15:44:04 +01:00
Josia Pietsch	a6465aea45	lecture 6 Some checks failed Build latex and deploy / checkout (push) Failing after 14m35s Details	2023-11-06 16:22:31 +01:00
Josia Pietsch	e7baf0832b	small changes Some checks failed Build latex and deploy / checkout (push) Failing after 15m16s Details	2023-11-05 03:16:40 +01:00
Josia Pietsch	430ad82e8b	lecture 04 Some checks failed Build latex and deploy / checkout (push) Failing after 16m8s Details	2023-11-05 00:50:26 +01:00
Josia Pietsch	340e034fdf	lecture 4 Some checks failed Build latex and deploy / checkout (push) Failing after 55s Details	2023-11-04 23:28:39 +01:00
Josia Pietsch	ab3a4b7556	lecture 06 Some checks failed Build latex and deploy / checkout (push) Failing after 41s Details	2023-10-31 20:16:15 +01:00
Josia Pietsch	c787dd2b51	lecture 5 Some checks failed Build latex and deploy / checkout (push) Failing after 40s Details	2023-10-30 15:52:49 +01:00
Josia Pietsch	10313b35f1	Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2 Some checks failed Build latex and deploy / checkout (push) Failing after 14m10s Details	2023-10-25 15:37:34 +02:00
Josia Pietsch	5f1f4c9fe9	fix	2023-10-25 15:37:22 +02:00
Josia Pietsch	b5e2d09090	small fix Some checks failed Build latex and deploy / checkout (push) Failing after 16m3s Details	2023-10-24 10:51:01 +02:00
Josia Pietsch	fb2c5b2715	fixed label Some checks failed Build latex and deploy / checkout (push) Failing after 13m17s Details	2023-10-24 10:48:41 +02:00
Josia Pietsch	4a27324442	fixed label All checks were successful Build latex and deploy / checkout (push) Successful in 1m6s Details	2023-10-24 10:34:43 +02:00
Josia Pietsch	1860f988c2	lecture 03 All checks were successful Build latex and deploy / checkout (push) Successful in 1m8s Details	2023-10-23 23:45:24 +02:00
Josia Pietsch	ad39e2ac6d	03 beginning All checks were successful Build latex and deploy / checkout (push) Successful in 1m5s Details	2023-10-23 22:43:31 +02:00
Josia Pietsch	f7bd6359bd	lecture 02 All checks were successful Build latex and deploy / checkout (push) Successful in 1m5s Details	2023-10-23 11:44:15 +02:00
Josia Pietsch	5f5de21d3d	updated README.md All checks were successful Build latex and deploy / checkout (push) Successful in 1m9s Details	2023-10-21 15:38:20 +02:00
Josia Pietsch	a7c18aa973	fixed ci All checks were successful Build latex and deploy / checkout (push) Successful in 1m5s Details	2023-10-17 23:48:12 +02:00
Josia Pietsch	1306c62e93	add readme to pages Some checks failed Build latex and deploy / checkout (push) Failing after 17s Details	2023-10-17 23:43:24 +02:00
Josia Pietsch	513c04095e	gitea ci All checks were successful Build latex and deploy / checkout (push) Successful in 1m6s Details	2023-10-17 21:06:56 +02:00
Josia Pietsch	5de1db2631	gitea ci Some checks failed Build latex and deploy / checkout (push) Failing after 1m4s Details	2023-10-17 21:03:49 +02:00
Josia Pietsch	2d912c7f87	lecture 1	2023-10-16 16:51:42 +02:00
Josia Pietsch	535bfd1b37	initial commit	2023-10-16 16:24:38 +02:00

42 commits