Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
13
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-14 15:20:53 +02:00
a4ece61abe Minor update
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-14 13:14:44 +02:00
484caeea98 Corpus
56f9a61530 Update bibliography submodule, extend .gitignore
Compare 2 commits »
kebekus pushed to main at kebekus/bibliography 2026-08-14 13:09:18 +02:00
669f08e434 Add references on Lean and formalized mathematics
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-13 13:10:38 +02:00
b386800c8d Add section
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-13 12:18:26 +02:00
7ab92e2e7b Add links to mathlib
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-13 11:54:24 +02:00
9c10e48fd9 Mathlib links
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-13 11:46:39 +02:00
b475cf7569 Videos
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-13 10:33:10 +02:00
ecda7f83a5 Update
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-13 10:08:22 +02:00
cc75cdc801 Cleanup and final touches
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-13 09:47:47 +02:00
4ff2bb5fb2 Working.
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-13 09:47:36 +02:00
e5ef2a4b32 Update theme.css
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-13 09:34:28 +02:00
5e406be5ca Working
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-13 09:24:21 +02:00
c4bcb59b33 Create CLAUDE.md
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-13 06:38:40 +02:00
ada3998c56 leanlinks
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-13 06:38:27 +02:00
f18fe0e112 Gradformel
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-12 17:30:09 +02:00
d78114a107 Update Elements.lean
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-12 17:05:29 +02:00
06f12adfa9 Adding material
kebekus pushed to main at kebekus/AlgebraInLean 2026-08-12 16:45:57 +02:00
ffbd7a08e2 Update Degrees.lean
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-11 14:00:24 +02:00
7016d107f1 Working…
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-08 06:58:15 +02:00
d22fda4fb6 Update settings.json