leonv
0 followers · 0 following
  • Joined on 2023-05-31
Repositories
14
 Projects Packages Public activity Starred repositories
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-13 16:48:30 +01:00
fe0dcc44a8 Work on TODOs
50c98dc642 Fix makefile
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-13 08:38:29 +01:00
723c4b0175 setoids chapter somewhat finished
leonv synced and deleted reference refs/tags/refs/pipelines/23103 at leonv/bsc-leon-vatthauer from mirror 2024-03-13 00:28:34 +01:00
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-13 00:28:34 +01:00
2a6da1ea17 First draft of setoids chapter finished
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-12 16:18:30 +01:00
98cdfffdb9 minor
32e29aedb8 Work on setoids
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-11 23:58:34 +01:00
978eb83a7f idea
5f836b4d89 minor
c631cf1bc3 work on setoids
Compare 3 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-10 23:09:33 +01:00
4e856d72f5 minor
64f76f92f7 minor
247896cddb Finish proofs in iteration chapter, add exponential lemma in prelims
Compare 3 commits »
leonv pushed to main at leonv/nixos 2024-03-10 11:14:43 +01:00
55f125dae0 Undo latex workshop changes
leonv pushed to main at leonv/nixos 2024-03-10 10:46:55 +01:00
5343035045 move workspaces, add scratchpad
dbd7388a4e latex options for vscode
Compare 2 commits »
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-09 14:29:29 +01:00
5e3600d29c Finish proofs in chapter 4 and apply some chktex hints
leonv pushed to main at leonv/nixos 2024-03-09 06:14:36 +01:00
7439485194 flake.lock: Update
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-08 13:59:28 +01:00
75a6789d18 Finish proof that K is commutative
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-07 21:39:28 +01:00
945601470b Work on thesis
leonv synced commits to main at leonv/bsc-leon-vatthauer from mirror 2024-03-07 13:29:28 +01:00
39d83c6dfe Improve proof of strength for K
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