Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-05-06 15:33:06 +02:00
b03954eee9 Create comparingDerivatives.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-06 10:10:10 +02:00
e5383eff34 Make it work!
kebekus pushed to main at kebekus/nevanlinna 2024-05-06 09:01:47 +02:00
c44f4fe3b0 Cleanup
kebekus pushed to main at kebekus/nevanlinna 2024-05-03 15:54:53 +02:00
a55b084031 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-03 12:23:13 +02:00
bfdc7f6d2a Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-02 21:09:41 +02:00
ea3693ff24 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-02 17:55:30 +02:00
f239759275 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-02 09:48:29 +02:00
b9a973d10d Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-30 08:21:00 +02:00
f85fafd05f Working...
kebekus pushed to main at kebekus/nevanlinna 2024-04-30 06:52:57 +02:00
0c15de05b8 Merge branch 'main' of git.cplx.vm.uni-freiburg.de:kebekus/nevanlinna
ef75cb4579 working...
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-04-29 20:53:52 +02:00
b2f04c1dfa Update cauchyRiemann.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-29 19:48:42 +02:00
2d2a21be72 Update cauchyRiemann.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-29 14:20:01 +02:00
38eaf677f9 Update cauchyRiemann.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-29 10:22:07 +02:00
77d1fd2ae4 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-04-29 08:54:32 +02:00
a5bf92552c Update cauchyRiemann.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-28 21:09:42 +02:00
90d3aceb95 cauchy riemann
kebekus pushed to main at kebekus/nevanlinna 2024-04-26 21:18:13 +02:00
53b5248e81 experimenting…
kebekus pushed to main at kebekus/nevanlinna 2024-04-26 16:03:01 +02:00
1918cc0139 Update harmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-26 13:53:49 +02:00
187781f971 Experimenting…
kebekus pushed to main at kebekus/nevanlinna 2024-04-25 19:16:28 +02:00
98efcf9f87 Update logabs.lean