Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
12
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/aristotle 2026-02-23 07:26:26 +01:00
0204554b17 Update Basic.lean
kebekus pushed to main at kebekus/aristotle 2026-02-16 07:27:47 +01:00
121bdeac90 Working
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-04 13:21:33 +01:00
efd1fc0758 Verbesserungen
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-03 15:10:01 +01:00
5274c2d288 Delete Notizen
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-03 15:05:56 +01:00
031d09909c Working…
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-03 14:02:23 +01:00
b566fa00f6 Notizen
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-02 15:44:02 +01:00
d6c0b48955 Update 14-harmonic.tex
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-02 15:31:17 +01:00
1fd06fcb68 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2026-02-02 14:49:29 +01:00
dfdb4cfa42 Update 16-Zahlentheorie.tex
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-26 09:07:28 +01:00
a010354182 Trivia
kebekus pushed to main at kebekus/aristotle 2026-01-25 17:22:51 +01:00
ba0469d4ab Cleanup
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-21 12:19:44 +01:00
06259ba022 Update 16-Zahlentheorie.tex
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-15 16:55:05 +01:00
c9e5c71229 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-14 11:22:39 +01:00
5968983162 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-14 07:55:10 +01:00
0aece3f766 Update 16-Zahlentheorie.tex
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-12 11:19:41 +01:00
ee3e0993c0 Mark Lecture
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-08 14:23:15 +01:00
acd36dbd20 Typo
kebekus pushed to main at kebekus/Funktionentheorie 2026-01-07 13:09:13 +01:00
77f97e1e55 Fix typo
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…