Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-08-09 10:31:15 +02:00
da859defb1 Update holomorphic_JensenFormula.lean
6ab6e6e6a9 Update holomorphic_JensenFormula.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-08 17:45:10 +02:00
17705601c2 working
kebekus pushed to main at kebekus/nevanlinna 2024-08-08 15:04:45 +02:00
4b6cdcc76a Update harmonicAt_meanValue.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-08 14:26:55 +02:00
4642c017c7 working…
75ce3b31ef working
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-08 13:31:03 +02:00
6a12258093 Update holomorphic_examples.lean
e5b9559f69 Update holomorphic_examples.lean
3e924d5b4a working…
acb1f34879 Update holomorphic_primitive2.lean
Compare 4 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-07 15:15:07 +02:00
83f9aa5d72 Update holomorphic_primitive2.lean
951c25624e Update holomorphic_primitive2.lean
fc3a4ae3f3 Update holomorphic_primitive2.lean
656d50e367 Update holomorphic_primitive2.lean
f0b84fcbff Update holomorphic_primitive2.lean
Compare 8 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-06 11:13:26 +02:00
6bdb910b7c working
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