Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
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
kebekus pushed to master at kebekus/hodge 2024-01-24 10:47:36 +01:00
2618223bc7 README.md hinzugefügt
kebekus pushed to master at kebekus/hodge 2024-01-23 09:03:46 +01:00
6405fc05b2 Fix file name
kebekus created branch master in kebekus/hodge 2024-01-23 09:03:46 +01:00
kebekus created repository kebekus/hodge 2024-01-23 08:59:29 +01:00
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2024-01-16 11:05:34 +01:00
2b7a70f848 Mache Lemme präziser
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2024-01-15 16:14:48 +01:00
520c1fbb3c Clarify
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2024-01-12 14:14:59 +01:00
63f25c777b Clarify formulations
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2024-01-08 15:36:45 +01:00
602c6ad0af Fix error
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2024-01-07 14:33:48 +01:00
41a2f7cb0c Fix problems