Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 13:45:39 +02:00
b5cf426b7f Clean up
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 12:13:31 +02:00
b26256d84e Big cleanup
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 10:16:26 +02:00
a1910c3a72 Working...
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 09:50:00 +02:00
403605f7a0 Working on partial derivatives
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 07:08:27 +02:00
dc544308c8 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-06 17:01:13 +02:00
9ac79470cd Update complexHarmonic.lean
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…