Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
12
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/aristotle 2025-12-02 16:45:30 +01:00
c308fc2403 Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-02 14:34:18 +01:00
3ce8b986ee Working
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-02 14:34:11 +01:00
1833ecaadf Working
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-02 13:37:09 +01:00
7ca42070d8 Working…
kebekus pushed to main at kebekus/aristotle 2025-12-01 17:13:18 +01:00
7942fe14aa Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-01 13:07:07 +01:00
80389240bb Working
kebekus pushed to main at kebekus/Funktionentheorie 2025-12-01 13:06:52 +01:00
e95db5b6b5 Working
kebekus pushed to main at kebekus/aristotle 2025-11-28 15:41:41 +01:00
3456e167d3 Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-28 14:56:04 +01:00
422ecf0c87 Working…
kebekus pushed to main at kebekus/aristotle 2025-11-26 16:54:49 +01:00
c699823ad8 Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-26 13:03:37 +01:00
3b9193fe91 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-25 16:58:33 +01:00
cf60667233 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-25 16:58:22 +01:00
b916a0bf3e Update 12-residuum.tex
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-25 14:50:06 +01:00
18c7881a2c Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-20 10:12:42 +01:00
a51981c501 Mark end of lecture
kebekus pushed to main at kebekus/aristotle 2025-11-19 14:43:16 +01:00
c6396e002d Update Basic.lean
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-19 09:14:56 +01:00
e894245ff5 Update 09-singularities.tex
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-18 16:59:55 +01:00
f1a1d0dd66 Working…
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-17 14:25:02 +01:00
fe2b4220eb Working…
4dfe6c01ea Zwischenspeichern
Compare 2 commits »
kebekus pushed to main at kebekus/Funktionentheorie 2025-11-11 15:09:40 +01:00
6b79521290 Working