Stefan Kebekus kebekus
0 Followers · 0 Following
Projects Packages Public Activity Starred Repositories
280 contributions in the last 12 months
JulAugSepOctNovDecJanFebMarAprMayJunMonWedFri
Less
More
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
kebekus pushed to main at kebekus/nevanlinna 2024-04-25 10:18:29 +02:00
cbe98c404b Create logabs.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-24 16:23:38 +02:00
fb5bf47170 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-04-24 10:09:37 +02:00
d1de7fee33 Update test.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-23 21:20:54 +02:00
72ce984d03 Update test.lean
kebekus pushed to main at kebekus/nevanlinna 2024-04-23 10:56:55 +02:00
f33953de0a Working…
kebekus pushed to main at kebekus/nevanlinna 2024-04-23 10:03:43 +02:00
e37ef6da16 Messing around
kebekus pushed to main at kebekus/nevanlinna 2024-04-23 09:22:11 +02:00
a5ce6034de First test
kebekus pushed to main at kebekus/nevanlinna 2024-04-23 09:20:30 +02:00
5382d1572b Add files
kebekus created branch main in kebekus/nevanlinna 2024-04-23 09:20:30 +02:00
kebekus created repository kebekus/nevanlinna 2024-04-23 09:18:28 +02:00
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2024-02-02 13:51:20 +01:00
07461e0969 Fix typo
kebekus pushed to master at kebekus/hodge 2024-01-24 10:50:27 +01:00
820cbf3317 Update files