Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 13:35:56 +02:00
c2c730e510 All done.
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 12:56:34 +02:00
40659c2f17 Working…
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 pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-29 11:12:08 +02:00
kebekus created branch feature/locallyHarmonic in 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 pushed to main at kebekus/orbiAlb4 2024-05-27 10:16:59 +02:00
5dbd65faaf first commit
kebekus created branch main in kebekus/orbiAlb4 2024-05-27 10:16:59 +02:00
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