leonv

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-11-01 20:59:17 +01:00

446d55f1f5 Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer

6bb5bd519e introduce equational lifting

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-31 20:29:18 +01:00

de565d00c7 Started working on motivation

61573d159c Work on commutativity

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-29 11:19:18 +01:00

e8d8377c79 Worked on commutativity

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-28 19:59:16 +02:00

f92fbc76ed 🚧 Work on commutativity of K

07dffa087c 🎨 Tidy up proof that K is strong, add explanations

d61a4c8bfa Added usage notes

55e3e91d18 ❄ added nix devshell

Compare 4 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-25 18:29:16 +02:00

bf4af5ad9c Working on small lemma

7e7ff5268f minor

9dfd4145a2 Finished strength of K

Compare 3 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-22 16:59:16 +02:00

a71045161a Align proofs

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-17 22:39:25 +02:00

544b604ce8 ✨ Finished proof that delay is commutative

16608a236f 🚧 Work on commutativity

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-16 22:09:19 +02:00

cfd5bf4968 🚧 Great progress on commutativity proof of delay monad

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-16 14:09:16 +02:00

14c41b3666 ✨ Added missing proof principle

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-15 21:49:16 +02:00

9ff33adfda 🚧 Work on commutativity

65d971eb68 🎨 Tidying up proofs, added small lemma

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-13 04:29:17 +02:00

47035c1e52 ✨ Added index with some nice text

c166f40576 🚧 Small progress, stuck on multiple fronts

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-09 18:49:16 +02:00

09732380ec 🚧 Working on stable algebras, currently showing that K is strong

b7cc991d11 🚧 prepare for meeting

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-05 16:54:19 +02:00

b325ecc6c3 🚧 Working on stable algebras

b6da0a4242 ✨ Finished 1=>2 of theorem 35

b6a89dbdc8 ⚡️ Finished many helper lemmas and a small proof

Compare 3 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-05 00:34:21 +02:00

0b71566f54 ⚡️ Proof that rho is natural in X

22306ddb27 ⚡️ Proof that quotiented D is a functor

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-10-04 00:04:19 +02:00

7e9653c41e 🔀 Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer

0165423fcf 🚧 Started working on quotienting the delay monad

0cf7c2e866 Update README.md

e5157c0bc5 ✨ Finished proving strength of delay monad

Compare 4 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-30 22:34:26 +02:00

3fad80110d Still working on delay strength, finished strength-assoc

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-29 22:04:18 +02:00

571ed10fec Stuck on mu-eta strength, started assoc

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-09-27 21:04:19 +02:00

59492a9502 Progress on strength for delay monad

leonv synced and deleted reference refs/tags/refs/merge-requests/1/head at leonv/bsc-leon-vatthauer from mirror 2023-09-25 12:04:18 +02:00

leonv synced and deleted reference refs/tags/refs/merge-requests/1/merge at leonv/bsc-leon-vatthauer from mirror 2023-09-25 12:04:18 +02:00