Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-18 09:56:46 +02:00
2d7e62bb49 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-17 17:22:20 +02:00
46ededdde7 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-17 10:11:41 +02:00
8d2339a769 working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-16 19:15:22 +02:00
321ceba46b Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-16 19:00:35 +02:00
bb74aa273f Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-14 21:00:56 +02:00
6d36769dab Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-14 16:08:01 +02:00
fcbdd1a2c2 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-14 10:53:27 +02:00
0f6c905f60 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-12 13:50:40 +02:00
ce751dff83 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-12 12:30:11 +02:00
a9f1c3eaa6 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-11 17:18:27 +02:00
f43fd50528 working
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-11 13:28:06 +02:00
c3ec40490e working
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 16:00:51 +02:00
5d5d7557c0 Update laplace.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 14:12:17 +02:00
dfbf3f772d Update complexHarmonic.examples.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 12:39:44 +02:00
52abf9b79b Done with examples for holomorphicAt
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 10:59:01 +02:00
50d0bead78 Working…
kebekus pushed to main at kebekus/orbiAlb4 2024-06-07 14:28:07 +02:00
8585a08779 Done for today.
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-07 13:16:44 +02:00
21693bd12d working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-07 10:28:16 +02:00
271ad821dd Working…
kebekus pushed to main at kebekus/orbiAlb4 2024-06-06 15:19:23 +02:00
4ed5112111 Working…