Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 09:57:38 +02:00
f480ae2a0f Update partialDeriv.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-29 16:33:35 +02:00
3bdc7eaffb Working...
kebekus created branch feature/locallyHarmonic in kebekus/nevanlinna 2024-05-29 11:12:08 +02:00
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-29 11:12:08 +02:00
kebekus pushed to main at kebekus/orbiAlb4 2024-05-27 11:22:28 +02:00
0b74a0c10b First files
kebekus created branch main in kebekus/orbiAlb4 2024-05-27 10:16:59 +02:00
kebekus pushed to main at kebekus/orbiAlb4 2024-05-27 10:16:59 +02:00
5dbd65faaf first commit
kebekus created repository kebekus/orbiAlb4 2024-05-27 10:13:54 +02:00
kebekus pushed to main at kebekus/nevanlinna 2024-05-18 12:13:35 +02:00
7319bf60c0 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-17 12:31:39 +02:00
348492cc94 Update complexHarmonic.lean
82fdc5ac37 Update complexHarmonic.lean
bcb639a5be Fix errors
aeda1e981d Update complexHarmonic.lean
Compare 4 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-05-16 21:46:04 +02:00
71ad6aa67e Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-16 10:16:33 +02:00
077bace964 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-16 10:01:19 +02:00
710de9372b Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-16 09:37:21 +02:00
015ab14131 Update complexHarmonic.lean
bb2732106c Update complexHarmonic.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 21:17:47 +02:00
bfeade4095 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 15:32:02 +02:00
1c34aee7be working
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 15:15:36 +02:00
4ff9c41ae3 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 15:03:19 +02:00
4064f69c03 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-15 10:09:25 +02:00
058ea29a64 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-14 17:24:38 +02:00
a60e07e602 Update complexHarmonic.lean