298 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Leon Vatthauer	6e1633c8d9	🎉🎉 Final commit, small changes after proof reading	2024-03-18 11:01:54 +01:00
Leon Vatthauer	b48049c6e9	Fix language error	2024-03-17 16:08:28 +01:00
Leon Vatthauer	8000bf9884	Fix all warnings, add conclusion	2024-03-17 15:13:11 +01:00
Leon Vatthauer	6d254586e1	minor	2024-03-16 10:09:31 +01:00
Leon Vatthauer	245a561038	Work on introduction and the section on the formalization	2024-03-16 10:07:36 +01:00
Leon Vatthauer	75d6990bd5	Finishing touches on partiality chapter	2024-03-15 17:35:39 +01:00
Leon Vatthauer	f37458fe97	squash warnings	2024-03-15 10:46:00 +01:00
Leon Vatthauer	2dbf69bcf6	Finishing touches for iteration chapter	2024-03-15 10:10:25 +01:00
Leon Vatthauer	1a6f409cd1	change file names to final chapter order, work on introduction.	2024-03-14 17:34:50 +01:00
Leon Vatthauer	fe0dcc44a8	Work on TODOs	2024-03-13 13:26:38 +01:00
Leon Vatthauer	50c98dc642	Fix makefile	2024-03-13 12:38:31 +01:00
Leon Vatthauer	723c4b0175	setoids chapter somewhat finished	2024-03-13 07:30:02 +01:00
Leon Vatthauer	2a6da1ea17	First draft of setoids chapter finished	2024-03-12 17:23:09 +01:00
Leon Vatthauer	98cdfffdb9	minor	2024-03-12 16:18:07 +01:00
Leon Vatthauer	32e29aedb8	Work on setoids	2024-03-12 16:17:35 +01:00
Leon Vatthauer	978eb83a7f	idea	2024-03-11 18:29:46 +01:00
Leon Vatthauer	5f836b4d89	minor	2024-03-11 18:15:55 +01:00
Leon Vatthauer	c631cf1bc3	work on setoids	2024-03-11 18:15:46 +01:00
Leon Vatthauer	4e856d72f5	minor	2024-03-10 21:12:16 +01:00
Leon Vatthauer	64f76f92f7	minor	2024-03-10 20:59:35 +01:00
Leon Vatthauer	247896cddb	Finish proofs in iteration chapter, add exponential lemma in prelims	2024-03-10 16:29:18 +01:00
Leon Vatthauer	5e3600d29c	Finish proofs in chapter 4 and apply some chktex hints	2024-03-09 10:46:41 +01:00
Leon Vatthauer	75a6789d18	Finish proof that K is commutative	2024-03-08 07:33:44 +01:00
Leon Vatthauer	945601470b	Work on thesis	2024-03-07 18:19:24 +01:00
Leon Vatthauer	39d83c6dfe	Improve proof of strength for K	2024-03-07 11:00:04 +01:00
Leon Vatthauer	69696cb76d	Continue working on proofs concerning K	2024-03-06 16:29:43 +01:00
Leon Vatthauer	e11960fa58	change notation for anamorphisms	2024-03-06 14:11:27 +01:00
Leon Vatthauer	b4cb17e52b	Work on iteration chapter	2024-03-05 18:49:45 +01:00
Leon Vatthauer	58d47f7b41	work on thesis	2024-03-04 18:00:12 +01:00
Leon Vatthauer	7986abb134	improve proofs	2024-03-04 17:09:22 +01:00
Leon Vatthauer	e6e1a9cb68	Finish partiality, minor work on iteration	2024-02-28 17:39:18 +01:00
Leon Vatthauer	76c145207a	work on prelims and partiality	2024-02-27 18:57:32 +01:00
Leon Vatthauer	be09d767ea	improve proves in delay chapter	2024-02-26 15:06:51 +01:00
Leon Vatthauer	a9c587b1eb	remove pyg file	2024-02-25 21:40:54 +01:00
Leon Vatthauer	da4223e011	Work on proofs	2024-02-25 21:40:23 +01:00
Leon Vatthauer	5f479bf4f8	change notation for freeobjects and coalgebras, work on partiality chapter	2024-02-24 13:12:32 +01:00
Leon Vatthauer	65890dbffd	Work on coalgebras	2024-02-23 21:35:15 +01:00
Leon Vatthauer	0eafb889a2	adjunctions	2024-02-23 20:46:47 +01:00
Leon Vatthauer	a1046d16e1	minor	2024-02-22 18:04:17 +01:00
Leon Vatthauer	8464a80e26	wording and typos	2024-02-22 18:04:09 +01:00
Leon Vatthauer	96f9bf4bb9	Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer	2024-02-21 15:56:19 +01:00
Leon Vatthauer	294392b212	Add secon batch of corrections	2024-02-21 15:56:15 +01:00
Leon Vatthauer	72c790f941	Add first batch of corrections	2024-02-21 14:28:38 +01:00
Leon Vatthauer	a3f077bd8d	Final refactor	2024-02-20 15:09:58 +01:00
Leon Vatthauer	c2e6966610	Continue work on refactor, almost finished	2024-02-19 18:07:46 +01:00
Leon Vatthauer	adf99ef3e0	major refactor to finish up	2024-02-18 18:15:15 +01:00
Leon Vatthauer	ed594af9a5	move helper agda files	2024-02-15 21:52:47 +01:00
Leon Vatthauer	e4af840dc2	some more refactor	2024-02-15 21:51:54 +01:00
Leon Vatthauer	98837f659c	some refactoring, change ambient category	2024-02-15 21:29:54 +01:00
Leon Vatthauer	0f157442fe	work on thesis	2024-02-15 21:12:04 +01:00