19 commits

Author	SHA1	Message	Date
Leon Vatthauer	945601470b	Work on thesis	2024-03-07 18:19:24 +01:00
Leon Vatthauer	58d47f7b41	work on thesis	2024-03-04 18:00:12 +01:00
Leon Vatthauer	0eafb889a2	adjunctions	2024-02-23 20:46:47 +01:00
Leon Vatthauer	031df0312d	sync todays work	2024-02-14 16:59:30 +01:00
Leon Vatthauer	cae7662b76	add todos	2024-02-11 13:01:07 +01:00
Leon Vatthauer	23d529be6d	update gitignore	2024-02-09 13:26:55 +01:00
Leon Vatthauer	7f3330f45c	Work on slides	2024-01-11 13:38:32 +01:00
Leon Vatthauer	12de9d42d6	work on thesis	2024-01-08 18:04:14 +01:00
Leon Vatthauer	ce13e19d1a	Added slides template	2023-12-14 15:01:27 +01:00
Leon Vatthauer	b8fc65491c	add CI for tex	2023-12-05 12:36:54 +01:00
Leon Vatthauer	c97a981b25	Added thesis, changed folder structure	2023-12-05 11:34:05 +01:00
Leon Vatthauer	5641cb3dd7	minor	2023-11-14 19:04:50 +01:00
Leon Vatthauer	fb0d6f2799	🎨 rewrite index	2023-11-13 10:31:10 +01:00
Leon Vatthauer	61573d159c	Work on commutativity	2023-10-31 14:16:47 +01:00
Leon Vatthauer	07dffa087c	🎨 Tidy up proof that K is strong, add explanations	2023-10-28 13:59:23 +02:00
Leon Vatthauer	ecde03dadc	Added iota to delay	2023-09-11 15:57:14 +02:00
Leon Vatthauer	462cc4380e	Changed out to public	2023-08-19 16:11:22 +02:00
Leon Vatthauer	44b8b77653	Started adding markdown	2023-08-19 12:15:34 +02:00
Leon Vatthauer	bc9afcd8eb	Added gitignore	2023-07-30 17:46:13 +02:00