josia-notes/w23-logic-2

Author	SHA1	Message	Date
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

28 commits