Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
12
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-17 13:14:41 +01:00
6749298210 Dankeschön
f1b30ddde9 Working…
Compare 2 commits »
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-17 13:06:38 +01:00
262880a68c Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-16 14:57:44 +01:00
4c8b645c69 Update 13-applResiduum.tex
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-16 14:55:30 +01:00
4693f272e4 Fix issues
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-16 14:48:25 +01:00
a132b569f0 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-15 09:34:26 +01:00
d8126fa35f Typos
kebekus pushed to main at kebekus/aristotle 2025-12-13 07:15:16 +01:00
6ec755312b Update Basic.lean
kebekus pushed to main at kebekus/aristotle 2025-12-12 20:25:16 +01:00
6de85b8db6 Update Basic.lean
kebekus pushed to main at kebekus/aristotle 2025-12-12 16:01:24 +01:00
b807b3597a Update Basic.lean
kebekus pushed to main at kebekus/aristotle 2025-12-12 10:49:57 +01:00
7bbf97915c Delete 884838fd-52e4-4608-80c9-73a896264eae-output.lean
kebekus pushed to main at kebekus/aristotle 2025-12-12 10:34:13 +01:00
542225a6f7 Update Basic.lean
kebekus pushed to main at kebekus/aristotle 2025-12-10 14:29:17 +01:00
3923c53d90 Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-10 14:14:16 +01:00
c1b6708e4f Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-10 11:07:11 +01:00
61a1663529 Cleanup
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-08 14:45:23 +01:00
7eebb7c300 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-08 10:40:10 +01:00
f3d9deeab7 Update 12-residuum.tex
kebekus pushed to main at kebekus/aristotle 2025-12-08 07:17:13 +01:00
1f6fcd938a Create 884838fd-52e4-4608-80c9-73a896264eae-output.lean
kebekus pushed to main at kebekus/aristotle 2025-12-04 17:06:00 +01:00
b7ade87d22 Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-04 10:03:07 +01:00
eca579c771 Update 12-residuum.tex
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-03 10:34:01 +01:00
85604d7c4e Update 12-residuum.tex