Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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 created branch main in kebekus/nevanlinna 2024-04-23 09:20:30 +02:00
kebekus pushed to main at kebekus/nevanlinna 2024-04-23 09:20:30 +02:00
5382d1572b Add files
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
kebekus pushed to master at kebekus/hodge 2024-01-24 10:47:36 +01:00
2618223bc7 README.md hinzugefügt
kebekus created branch master in kebekus/hodge 2024-01-23 09:03:46 +01:00