Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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
kebekus pushed to main at kebekus/nevanlinna 2024-07-29 15:50:56 +02:00
4ca5f6d4d2 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-07-29 11:22:51 +02:00
f2988797b4 Fix compilation
kebekus pushed to master at kebekus/MFO26 2024-07-29 10:14:08 +02:00
3ed68b8809 Very last changes
kebekus pushed to master at kebekus/MFO26 2024-07-29 09:55:21 +02:00
a612dab6d2 Done
kebekus pushed to master at kebekus/MFO26 2024-07-29 08:40:50 +02:00
96ba156c81 Add Li-Tosatti
kebekus pushed to master at kebekus/MFO26 2024-07-26 15:30:21 +02:00
1534f2f6f5 Last-minute changes by SS