leonv

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-06 15:17:52 +01:00

4d82edeab9 small refactor

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-05 22:58:07 +01:00

161ceabcda Finish proof that D~~ is instance of K on setoids. Did some refactor on StableFreeElgotAlgebras, proved that left-stable and right-stable imply each other

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-05 14:47:53 +01:00

840e02b842 work on thesis

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-04 22:27:59 +01:00

a1c37eee21 Work on thesis

17c023c944 refactor for exponential algebras

38c29332fc merge elgot branch (unfinished)

1f4c0da823 tidy up

bb49f23814 Finish proof that quotient of D is freealgebra

Compare 14 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-03 21:57:51 +01:00

32feee45e5 Finished preservation proof

leonv synced commits to elgot at leonv/bsc-leon-vatthauer from mirror 2024-02-02 21:27:52 +01:00

b31d3e2540 stuck on final proof for stability

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-02 21:27:52 +01:00

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

2e28faeda6 build on recent PR to agda-categories

Compare 2 commits »

leonv synced commits to elgot at leonv/bsc-leon-vatthauer from mirror 2024-02-02 13:17:52 +01:00

75e61fcc33 minor

leonv synced commits to elgot at leonv/bsc-leon-vatthauer from mirror 2024-02-01 20:57:52 +01:00

d90381d11a minor progress

86e45d7b71 minor

Compare 2 commits »

leonv synced commits to elgot at leonv/bsc-leon-vatthauer from mirror 2024-02-01 12:47:51 +01:00

leonv synced new reference elgot to leonv/bsc-leon-vatthauer from mirror 2024-02-01 12:47:51 +01:00

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-30 19:57:51 +01:00

6fbfc00267 Update README.md

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-29 19:27:51 +01:00

78260e3f91 refactor to support newest agda-categories release

2dc6420a35 sync

f0923f1007 finished congruence proof

Compare 3 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-28 18:57:51 +01:00

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

11dd7f8f23 sync

7568f60833 Refactor to update library versions

6ba246ee53 updated library versions

Compare 4 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-23 16:39:18 +01:00

ce6b129c38 Update README.md

be2d12cbf1 final slides

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-23 00:19:20 +01:00

9fa6f8e0ed small changes

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-21 23:49:22 +01:00

2e010ba8b3 minor fix

2a152eb6f4 minor

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-20 23:19:34 +01:00

d351a89e35 slides are in a somewhat final state

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-19 14:39:18 +01:00

40c488ab2a Work on slides

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-18 22:19:24 +01:00

d512d341cb Work on slides