Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-08-16 10:44:01 +02:00
9410087ddf Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-16 09:20:46 +02:00
83b3e0da1e Update holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-16 07:13:40 +02:00
4b25e0694c Create holomorphic_zero.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-15 16:00:29 +02:00
44dc57ed39 working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-15 12:10:23 +02:00
23dfdd3716 working…
kebekus pushed to main at kebekus/nevanlinna 2024-08-15 11:46:24 +02:00
10f88298c0 Update specialFunctions_Integral_log_sin.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-15 08:27:15 +02:00
eb58a8df04 Splitting off files
c124cccb01 Splitting off files
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-14 16:03:57 +02:00
3063415cf9 Update specialFunctions_Integrals.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-14 14:13:00 +02:00
b2de8dbc44 working
kebekus pushed to main at kebekus/nevanlinna 2024-08-13 16:27:01 +02:00
38179d24c0 Working…
0cc0c81508 Update specialFunctions_Integrals.lean
bc8fed96b0 Update specialFunctions_Integrals.lean
0cb1914b18 Add code of Gareth Ma
Compare 4 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-08-12 16:26:23 +02:00
4981e92c1c Update holomorphic_JensenFormula2.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-12 13:05:58 +02:00
8b0d0f5c05 Update holomorphic_JensenFormula2.lean
kebekus pushed to main at kebekus/nevanlinna 2024-08-12 13:01:39 +02:00
e6f60971a8 Working…
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