Commit graph

Select branches

Hide pull requests

main

Abgabe

Mono Color

• 5641cb3dd7
  
  minor Leon Vatthauer 2023-11-14 19:04:50 +0100
• c11ad1998c
  
  Progress on commutativity Leon Vatthauer 2023-11-13 16:24:28 +0100
• fb0d6f2799
  
  🎨 rewrite index Leon Vatthauer 2023-11-13 10:27:15 +0100
• a747658f8b
  
  🎨 moved unused files to /src/Misc Leon Vatthauer 2023-11-13 09:22:52 +0100
• 4d052891cd
  
  minor Leon Vatthauer 2023-11-11 15:44:16 +0100
• 21c98bab4f
  
  🚧 Case-statements and small progress on restriction category Leon Vatthauer 2023-11-11 14:56:03 +0100
• a3973a0b38 Add "delay monad in agda" slides Leon Vatthauer 2023-11-09 11:41:35 +0000
• b6016084ac
  
  Work on kleene Leon Vatthauer 2023-11-07 19:29:58 +0100
• 91ccbbf0c3
  
  Work on kleene Leon Vatthauer 2023-11-07 13:53:13 +0100
• bfd597591c
  
  🚧 added proof by induction, started work on kleenes fixpoint theorem Leon Vatthauer 2023-11-06 19:30:21 +0100
• 5bdc57f064
  
  Finished small proof Leon Vatthauer 2023-11-06 15:26:18 +0100
• 91ca1b5813
  
  Work on kleene fixpoint Leon Vatthauer 2023-11-06 12:59:43 +0100
• 317702c0f6
  
  Started showing that K is preelgot Leon Vatthauer 2023-11-05 14:09:54 +0100
• 28cee7138e
  
  ✨ Show equational lifting law, added proof principle Leon Vatthauer 2023-11-04 09:52:36 +0100
• 7f336282ed
  
  work on new proof principle Leon Vatthauer 2023-11-03 17:33:44 +0100
• 446d55f1f5
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2023-11-01 20:06:30 +0100
• 6bb5bd519e
  
  introduce equational lifting Leon Vatthauer 2023-11-01 20:06:20 +0100
• de565d00c7
  
  Started working on motivation Leon Vatthauer 2023-10-31 17:11:38 +0100
• 61573d159c
  
  Work on commutativity Leon Vatthauer 2023-10-31 14:16:47 +0100
• e8d8377c79
  
  Worked on commutativity Leon Vatthauer 2023-10-29 10:54:09 +0100
• f92fbc76ed
  
  🚧 Work on commutativity of K Leon Vatthauer 2023-10-28 17:37:01 +0200
• 07dffa087c
  
  🎨 Tidy up proof that K is strong, add explanations Leon Vatthauer 2023-10-28 13:59:23 +0200
• d61a4c8bfa Added usage notes Leon Vatthauer 2023-10-28 10:44:52 +0000
• 55e3e91d18
  
  ❄ added nix devshell Leon Vatthauer 2023-10-28 12:34:15 +0200
• bf4af5ad9c
  
  Working on small lemma Leon Vatthauer 2023-10-25 18:19:09 +0200
• 7e7ff5268f
  
  minor Leon Vatthauer 2023-10-25 18:18:58 +0200
• 9dfd4145a2
  
  Finished strength of K Leon Vatthauer 2023-10-25 18:18:30 +0200
• a71045161a
  
  Align proofs Leon Vatthauer 2023-10-22 15:07:39 +0200
• 544b604ce8
  
  ✨ Finished proof that delay is commutative Leon Vatthauer 2023-10-17 21:58:43 +0200
• 16608a236f
  
  🚧 Work on commutativity Leon Vatthauer 2023-10-17 15:21:30 +0200
• cfd5bf4968
  
  🚧 Great progress on commutativity proof of delay monad Leon Vatthauer 2023-10-16 18:08:34 +0200
• 14c41b3666
  
  ✨ Added missing proof principle Leon Vatthauer 2023-10-16 11:07:30 +0200
• 9ff33adfda
  
  🚧 Work on commutativity Leon Vatthauer 2023-10-15 17:55:42 +0200
• 65d971eb68
  
  🎨 Tidying up proofs, added small lemma Leon Vatthauer 2023-10-15 14:40:01 +0200
• 47035c1e52
  
  ✨ Added index with some nice text Leon Vatthauer 2023-10-12 21:39:36 +0200
• c166f40576
  
  🚧 Small progress, stuck on multiple fronts Leon Vatthauer 2023-10-12 18:11:28 +0200
• 09732380ec
  
  🚧 Working on stable algebras, currently showing that K is strong Leon Vatthauer 2023-10-09 16:45:55 +0200
• b7cc991d11
  
  🚧 prepare for meeting Leon Vatthauer 2023-10-09 12:11:21 +0200
• b325ecc6c3
  
  🚧 Working on stable algebras Leon Vatthauer 2023-10-05 16:22:05 +0200
• b6da0a4242
  
  ✨ Finished 1=>2 of theorem 35 Leon Vatthauer 2023-10-05 14:31:12 +0200
• b6a89dbdc8
  
  ⚡️ Finished many helper lemmas and a small proof Leon Vatthauer 2023-10-05 12:48:06 +0200
• 0b71566f54
  
  ⚡️ Proof that rho is natural in X Leon Vatthauer 2023-10-04 23:45:29 +0200
• 22306ddb27
  
  ⚡️ Proof that quotiented D is a functor Leon Vatthauer 2023-10-04 22:44:48 +0200
• 7e9653c41e
  
  🔀 Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2023-10-03 19:44:22 +0200
• 0165423fcf
  
  🚧 Started working on quotienting the delay monad Leon Vatthauer 2023-10-03 19:44:08 +0200
• 0cf7c2e866 Update README.md Leon Vatthauer 2023-10-03 17:01:18 +0000
• e5157c0bc5
  
  ✨ Finished proving strength of delay monad Leon Vatthauer 2023-10-03 18:55:46 +0200
• 3fad80110d
  
  Still working on delay strength, finished strength-assoc Leon Vatthauer 2023-09-30 17:33:47 +0200
• 571ed10fec
  
  Stuck on mu-eta strength, started assoc Leon Vatthauer 2023-09-29 17:28:54 +0200
• 59492a9502
  
  Progress on strength for delay monad Leon Vatthauer 2023-09-27 20:06:46 +0200
• 7c5dccc0ab
  
  Worked on strength of delay Leon Vatthauer 2023-09-21 22:34:38 +0200
• 6ce2526b6a
  
  Add CSS, small fixes, rewrite delay monad documentation Leon Vatthauer 2023-09-16 00:02:51 +0200
• 7f3351dd6c
  
  Add search-algebras, start work on elgot-algebra properties Leon Vatthauer 2023-09-12 18:21:26 +0200
• 481e1011e5
  
  🔨 refactor folder structure, define ambient category and use throughout Leon Vatthauer 2023-09-12 16:03:20 +0200
• 230b34da49
  
  use coproduct functor from library, minor changes Leon Vatthauer 2023-09-11 21:06:23 +0200
• 34ba57b6ef
  
  Added documentation and adjusted makefile Leon Vatthauer 2023-09-11 20:54:21 +0200
• 58bab7cbf4
  
  🎉 Finished proof that delay is a monad Leon Vatthauer 2023-09-11 19:52:11 +0200
• 6978b3098b
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2023-09-11 15:57:36 +0200
• ecde03dadc
  
  Added iota to delay Leon Vatthauer 2023-09-11 15:57:14 +0200
• 7397991ac7 Update README.md Leon Vatthauer 2023-09-11 12:15:36 +0000
• 0b8d982a46 Delete .gitlab-ci.yml Leon Vatthauer 2023-09-11 11:58:24 +0000
• 49e4a0b75b
  
  Add hosting command to makefile and remove public dir Leon Vatthauer 2023-09-11 13:57:10 +0200
• 9657864092
  
  Finished extend congruence proof Leon Vatthauer 2023-09-08 21:21:54 +0200
• 86c5be9e2f
  
  prepare for meeting, some progress on delay Leon Vatthauer 2023-09-08 13:09:30 +0200
• 0a2cc10ec8
  
  Worked on defining delay monad correctly Leon Vatthauer 2023-09-05 18:17:09 +0200
• 22448c3bab
  
  Added notes Leon Vatthauer 2023-08-21 16:22:33 +0200
• 6ebfe85342
  
  try to fix pages Leon Vatthauer 2023-08-19 16:17:16 +0200
• 202f8b5662 Merge branch 'markdown' into 'main' Leon Vatthauer 2023-08-19 14:12:42 +0000
• 5521269fb3
  
  Add .gitlab-ci.yml Leon Vatthauer 2023-08-19 16:11:50 +0200
• 462cc4380e
  
  Changed out to public Leon Vatthauer 2023-08-19 16:11:22 +0200
• 758f5c4ac3
  
  Last fixes, added comments, summaries and fixed pipeline Leon Vatthauer 2023-08-19 16:01:48 +0200
• a0f370b000
  
  minor fixes Leon Vatthauer 2023-08-19 12:37:03 +0200
• 64a1f120d0
  
  Changed folder structure Leon Vatthauer 2023-08-19 12:19:14 +0200
• 44b8b77653
  
  Started adding markdown Leon Vatthauer 2023-08-19 12:15:34 +0200
• 358b3be4c6
  
  Added K monad Leon Vatthauer 2023-08-17 18:07:40 +0200
• 72560dfb59
  
  Added (pre) elgot monat Leon Vatthauer 2023-08-17 18:07:26 +0200
• 8af4faf80c
  
  Added UniformIterationAlgebras Leon Vatthauer 2023-08-17 18:07:14 +0200
• 2c8d4e07ab
  
  Working on ElgotMonad Leon Vatthauer 2023-08-16 17:29:13 +0200
• 3b93aede06 Update README.md Leon Vatthauer 2023-08-16 13:06:24 +0000
• 0764ad31e5
  
  Small fix so it compiles again Leon Vatthauer 2023-08-16 14:58:25 +0200
• aeb00c8d3b
  
  Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer Leon Vatthauer 2023-08-16 14:56:39 +0200
• fb726d1407
  
  Formalized Delay monad Leon Vatthauer 2023-08-16 14:54:50 +0200
• bd621f7009
  
  Removed temporary definitions, adjusted definitions Leon Vatthauer 2023-08-16 14:50:21 +0200
• 609f75781e
  Big refactor, tidying up some proofs, compiling sadly is still slow Leon 2023-08-08 13:13:27 +0200
• 597b03af8a Reflect on current progress Leon Vatthauer 2023-08-07 18:37:33 +0000
• bc477280c9
  
  Changed to 2 space indentation, still needs refactor Leon Vatthauer 2023-08-07 20:17:20 +0200
• f7dfe31f3d
  
  Major refactor and improvement of proofs Leon Vatthauer 2023-08-07 19:58:08 +0200
• ae16aea8b4
  
  Added distributive and extensive category definitions, added coproduct definitions Leon Vatthauer 2023-07-30 17:47:06 +0200
• bc9afcd8eb
  
  Added gitignore Leon Vatthauer 2023-07-30 17:46:13 +0200
• 07dac8250d
  
  Added distributivity Leon Vatthauer 2023-07-28 20:50:27 +0200
• 0be1871679
  
  Indentation Leon Vatthauer 2023-07-25 17:23:36 +0200
• 86727e4aba
  
  Separated category of elgot algebras to own file Leon Vatthauer 2023-07-25 16:52:15 +0200
• 9ef9d8e76c
  
  Finished part of elgot products Leon Vatthauer 2023-07-24 15:58:38 +0200
• 6add58340d
  
  Worked on products of elgot algebras Leon Vatthauer 2023-07-24 12:50:20 +0200
• b2f8d63673 Updated README Leon Vatthauer 2023-07-12 15:22:54 +0200
• 41ebc8a503 Implemented (un-)guarded elgot algebras Leon Vatthauer 2023-07-12 15:19:28 +0200
• e0f02bdb0f Elgot iteration formalization Sergey Goncharov 2023-06-27 14:55:46 +0000
• b580ae60e6 Initial commit Sergey Goncharov 2023-06-27 14:52:02 +0000