leonv

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-16 13:09:19 +01:00

577b095325 sync

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

02c6307e17 Work on slides

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

985cbefd63 work on slides

5557dd1d6a changed definition

291b33abbe some renaming and new definitions

Compare 3 commits »

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

2cc26eeb9a cleanup and add uniformity proof

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

a90a5df672 sync

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-11 18:49:18 +01:00

09fc7f8fa9 Update .gitlab-ci.yml

93db0cb6dc try to reintroduce CI

4d8bb098af update code examples

7f3330f45c Work on slides

Compare 4 commits »

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

202d130d33 Finish subproof

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-01-09 17:59:18 +01:00

a6fd66ef29 sync

9beebd009d Some progress

Compare 2 commits »

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

3679811f2c Update .gitlab-ci.yml

e6794416ca Update .gitlab-ci.yml

12de9d42d6 work on thesis

8e6e1d01cd minor and add sergeys suggestion

4aaf6ff164 minor

Compare 38 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-12-04 04:39:19 +01:00

1e7e156f0b work on delay example

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-12-02 03:39:22 +01:00

d0e11e8142 work on examples

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

1a4b9135fc ✨ Show that Setoids is an instance of our ambient category

a0ba49ff2e Updated structure

b63d5455be Work on maybe

7be2f41196 minor

Compare 4 commits »

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

11107c67b8 Work on maybe monad

7cf428e05c minor

af3b6ee7c3 Work on maybe monad

fae9a310a4 ✨ Finish proof of #-Diamond

Compare 4 commits »

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

ac3b80c4f6 align

2f4441a2ae minor

Compare 2 commits »

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-11-30 02:39:19 +01:00

b2eb9119ae ✨ Finished proof of commutativity (preconditions missing)

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

34c5a62d09 Work on commutativity

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-11-28 18:09:16 +01:00

82cd7c9aa6 work on commutativity

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

8d2195d780 Progress on proofs

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

9437ad8e7c Progress on commutativity

leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2023-11-24 16:09:18 +01:00

c7f9ccf05a work on proof

000d958aab minor

Compare 2 commits »