leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
15
 Projects Packages Public activity Starred repositories
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-06 21:09:28 +01:00
69696cb76d Continue working on proofs concerning K
e11960fa58 change notation for anamorphisms
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-05 20:39:28 +01:00
b4cb17e52b Work on iteration chapter
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-04 20:09:28 +01:00
58d47f7b41 work on thesis
7986abb134 improve proofs
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-03-04 10:31:33 +01:00
aacb0981bb Merge branch 'main' of git.vatthauer.xyz:leonv/nixos
b46321d8e9 Fix deprecation warnings
df9f909fe0 flake.lock: Update
Compare 3 commits »
leonv synced and deleted reference refs/tags/refs/pipelines/22992 at leonv/bsc-leon-vatthauer from mirror 2024-02-29 01:49:29 +01:00
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-28 17:39:28 +01:00
e6e1a9cb68 Finish partiality, minor work on iteration
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-28 01:29:30 +01:00
76c145207a work on prelims and partiality
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-26 16:49:29 +01:00
be09d767ea improve proves in delay chapter
leonv pushed to main at leonv/nixos 2024-02-26 14:28:09 +01:00
c075c20815 optimise shinx and update ltex vscode
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-26 00:29:31 +01:00
a9c587b1eb remove pyg file
da4223e011 Work on proofs
Compare 2 commits »
leonv pushed to main at leonv/nixos 2024-02-25 21:03:41 +01:00
173f6e446b switch to vscodium
4338cea425 flake.lock: Update
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-24 15:49:28 +01:00
5f479bf4f8 change notation for freeobjects and coalgebras, work on partiality chapter
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-23 23:29:35 +01:00
65890dbffd Work on coalgebras
0eafb889a2 adjunctions
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-22 22:59:45 +01:00
a1046d16e1 minor
8464a80e26 wording and typos
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-21 22:29:39 +01:00
96f9bf4bb9 Merge branch 'main' of git8.cs.fau.de:theses/bsc-leon-vatthauer
294392b212 Add secon batch of corrections
72c790f941 Add first batch of corrections
Compare 3 commits »
leonv pushed to main at leonv/nixos 2024-02-21 13:33:11 +01:00
8632688d6c update agda-mode vscode extension
f72e93eced flake.lock: Update
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-20 22:09:29 +01:00
a3f077bd8d Final refactor
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-19 21:39:28 +01:00
c2e6966610 Continue work on refactor, almost finished
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-02-18 21:09:29 +01:00
adf99ef3e0 major refactor to finish up
leonv created branch main in CategoryTheory/agda-kleisli 2024-02-16 14:37:29 +01:00