298 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Leon Vatthauer	7c5dccc0ab	Worked on strength of delay	2023-09-21 22:34:38 +02:00
Leon Vatthauer	6ce2526b6a	Add CSS, small fixes, rewrite delay monad documentation	2023-09-16 00:02:51 +02:00
Leon Vatthauer	7f3351dd6c	Add search-algebras, start work on elgot-algebra properties	2023-09-12 18:22:28 +02:00
Leon Vatthauer	481e1011e5	🔨 refactor folder structure, define ambient category and use throughout	2023-09-12 16:52:22 +02:00
Leon Vatthauer	230b34da49	use coproduct functor from library, minor changes	2023-09-11 21:06:23 +02:00
Leon Vatthauer	34ba57b6ef	Added documentation and adjusted makefile	2023-09-11 20:54:21 +02:00
Leon Vatthauer	58bab7cbf4	🎉 Finished proof that delay is a monad	2023-09-11 19:52:11 +02:00
Leon Vatthauer	6978b3098b	Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer	2023-09-11 15:57:36 +02:00
Leon Vatthauer	ecde03dadc	Added iota to delay	2023-09-11 15:57:14 +02:00
Leon Vatthauer	7397991ac7	Update README.md	2023-09-11 12:15:36 +00:00
Leon Vatthauer	0b8d982a46	Delete .gitlab-ci.yml	2023-09-11 11:58:24 +00:00
Leon Vatthauer	49e4a0b75b	Add hosting command to makefile and remove public dir	2023-09-11 13:57:10 +02:00
Leon Vatthauer	9657864092	Finished extend congruence proof	2023-09-08 21:21:54 +02:00
Leon Vatthauer	86c5be9e2f	prepare for meeting, some progress on delay	2023-09-08 13:11:48 +02:00
Leon Vatthauer	0a2cc10ec8	Worked on defining delay monad correctly	2023-09-05 18:17:09 +02:00
Leon Vatthauer	22448c3bab	Added notes	2023-08-21 16:27:12 +02:00
Leon Vatthauer	6ebfe85342	try to fix pages	2023-08-19 16:17:16 +02:00
Leon Vatthauer	202f8b5662	Merge branch 'markdown' into 'main' ... Move to literate agda See merge request theses/bsc-leon-vatthauer!1	2023-08-19 14:12:42 +00:00
Leon Vatthauer	5521269fb3	Add .gitlab-ci.yml	2023-08-19 16:11:50 +02:00
Leon Vatthauer	462cc4380e	Changed out to public	2023-08-19 16:11:22 +02:00
Leon Vatthauer	758f5c4ac3	Last fixes, added comments, summaries and fixed pipeline	2023-08-19 16:01:48 +02:00
Leon Vatthauer	a0f370b000	minor fixes	2023-08-19 12:37:03 +02:00
Leon Vatthauer	64a1f120d0	Changed folder structure	2023-08-19 12:19:14 +02:00
Leon Vatthauer	44b8b77653	Started adding markdown	2023-08-19 12:15:34 +02:00
Leon Vatthauer	358b3be4c6	Added K monad	2023-08-17 18:07:40 +02:00
Leon Vatthauer	72560dfb59	Added (pre) elgot monat	2023-08-17 18:07:26 +02:00
Leon Vatthauer	8af4faf80c	Added UniformIterationAlgebras	2023-08-17 18:07:14 +02:00
Leon Vatthauer	2c8d4e07ab	Working on ElgotMonad	2023-08-16 17:29:13 +02:00
Leon Vatthauer	3b93aede06	Update README.md	2023-08-16 13:06:24 +00:00
Leon Vatthauer	0764ad31e5	Small fix so it compiles again	2023-08-16 14:58:25 +02:00
Leon Vatthauer	aeb00c8d3b	Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer	2023-08-16 14:56:39 +02:00
Leon Vatthauer	fb726d1407	Formalized Delay monad	2023-08-16 14:54:50 +02:00
Leon Vatthauer	bd621f7009	Removed temporary definitions, adjusted definitions	2023-08-16 14:50:21 +02:00
Leon	609f75781e	Big refactor, tidying up some proofs, compiling sadly is still slow	2023-08-08 13:13:27 +02:00
Leon Vatthauer	597b03af8a	Reflect on current progress	2023-08-07 18:37:33 +00:00
Leon Vatthauer	bc477280c9	Changed to 2 space indentation, still needs refactor	2023-08-07 20:17:20 +02:00
Leon Vatthauer	f7dfe31f3d	Major refactor and improvement of proofs	2023-08-07 19:58:08 +02:00
Leon Vatthauer	ae16aea8b4	Added distributive and extensive category definitions, added coproduct definitions	2023-07-30 17:47:06 +02:00
Leon Vatthauer	bc9afcd8eb	Added gitignore	2023-07-30 17:46:13 +02:00
Leon Vatthauer	07dac8250d	Added distributivity	2023-07-28 20:50:27 +02:00
Leon Vatthauer	0be1871679	Indentation	2023-07-25 17:23:36 +02:00
Leon Vatthauer	86727e4aba	Separated category of elgot algebras to own file	2023-07-25 16:52:15 +02:00
Leon Vatthauer	9ef9d8e76c	Finished part of elgot products	2023-07-24 15:58:38 +02:00
Leon Vatthauer	6add58340d	Worked on products of elgot algebras	2023-07-24 12:50:20 +02:00
Leon Vatthauer	b2f8d63673	Updated README	2023-07-12 15:29:43 +02:00
Leon Vatthauer	41ebc8a503	Implemented (un-)guarded elgot algebras	2023-07-12 15:29:33 +02:00
Sergey Goncharov	e0f02bdb0f	Elgot iteration formalization	2023-06-27 14:55:46 +00:00
Sergey Goncharov	b580ae60e6	Initial commit	2023-06-27 14:52:02 +00:00