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-31 16:10:09 +02:00
637c0cf175 Update complexHarmonic.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-31 16:06:46 +02:00
d6e8f57019 working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-31 10:21:31 +02:00
7a1359308e done for today
a7b0790675 working
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 17:02:21 +02:00
c8e1aacb15 working
b0ab121868 working
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 10:49:20 +02:00
ac3cd65bf2 Update complexHarmonic.lean
7f10e28525 Update complexHarmonic.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 10:26:44 +02:00
2544242b13 Update laplace.lean
47ab90446f Update laplace.lean
Compare 2 commits »
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 »