kebekus Stefan Kebekus
0 Followers · 0 Following
Freiburg im Breisgau, Germany
https://cplx.vm.uni-freiburg.de
Joined on 2023-03-29
Repositories
13
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-10-16 08:04:12 +02:00
74d7637c2c Auto-upload corpus
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-10-15 13:40:31 +02:00
673d1f064c Update
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-10-15 13:01:39 +02:00
0fcdbc4450 Update bibliography
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-10-15 13:01:33 +02:00
3d25546965 Fix issues
kebekus pushed to main at kebekus/bibliography 2026-10-15 13:01:15 +02:00
687ab4590e Add entries
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-26 10:57:54 +02:00
9dfbad5396 Cleanup
kebekus pushed to main at kebekus/AlgebraZahlentheorie 2026-08-26 10:19:16 +02:00
f686d758d2 Add files
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