Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-08-06 10:40:58 +02:00
c799170843 working
kebekus pushed to main at kebekus/nevanlinna 2024-08-05 15:26:32 +02:00
819037fb01 working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-05 14:53:32 +02:00
f4655ef1d3 working…
4387149e33 working
854b7ef492 working
Compare 3 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-05 13:41:47 +02:00
c041cff4ad working
6759baea2f Update holomorphic_primitive2.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-05 10:56:46 +02:00
9294d89ef1 working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-05 10:02:30 +02:00
c44f7e2efd Working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-03 07:20:04 +02:00
8a8e0769c2 working
kebekus pushed to main at kebekus/nevanlinna 2024-08-02 14:47:43 +02:00
c376bd3c46 Update holomorphic_primitive2.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-02 12:46:49 +02:00
103fd5fb0f working…
03548bc6da working
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-02 07:16:42 +02:00
2e5d008857 working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-01 13:51:18 +02:00
78de1bd3b0 working
kebekus pushed to main at kebekus/nevanlinna 2024-08-01 12:38:37 +02:00
a1f96806a1 Working…
f65c84a14b working…
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-07-31 15:59:46 +02:00
9a7c8b82a4 working
kebekus pushed to main at kebekus/nevanlinna 2024-07-31 15:08:36 +02:00
5328c7cc2a working
kebekus pushed to main at kebekus/nevanlinna 2024-07-31 14:54:42 +02:00
eb4c9da6b5 working
kebekus pushed to main at kebekus/nevanlinna 2024-07-31 12:25:34 +02:00
167db4310c Add mean value property of harmonic functions
kebekus pushed to main at kebekus/nevanlinna 2024-07-31 09:40:40 +02:00
c9b72c89b5 Minor cleanup
kebekus pushed to main at kebekus/nevanlinna 2024-07-30 16:45:31 +02:00
dd207b19a2 working…
8d100b2333 working…
1d27eeb66b Working.
Compare 3 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-07-30 12:20:03 +02:00
d4de5d8b5a Saving, renaming
kebekus pushed to main at kebekus/nevanlinna 2024-07-30 10:52:16 +02:00
a2c2d05789 Working