Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 9dfbad5396 Cleanup main Stefan Kebekus 2026-08-26 10:57:51 +02:00
• f686d758d2 Add files Stefan Kebekus 2026-08-26 10:08:32 +02:00
• a4ece61abe Minor update Stefan Kebekus 2026-08-14 15:20:42 +02:00
• 484caeea98 Corpus Stefan Kebekus 2026-08-14 13:14:41 +02:00
• 56f9a61530 Update bibliography submodule, extend .gitignore Stefan KebekusandClaude Opus 5 2026-08-14 13:14:00 +02:00
• b386800c8d Add section Stefan Kebekus 2026-08-13 13:10:34 +02:00
• 7ab92e2e7b Add links to mathlib Stefan Kebekus 2026-08-13 12:18:22 +02:00
• 9c10e48fd9 Mathlib links Stefan Kebekus 2026-08-13 11:54:20 +02:00
• b475cf7569 Videos Stefan Kebekus 2026-08-13 11:46:36 +02:00
• ecda7f83a5 Update Stefan Kebekus 2026-08-13 10:27:56 +02:00
• ada3998c56 leanlinks Stefan Kebekus 2026-08-13 06:38:37 +02:00
• 7016d107f1 Working… Stefan Kebekus 2026-08-11 14:00:20 +02:00
• d22fda4fb6 Update settings.json Stefan Kebekus 2026-08-08 06:58:11 +02:00
• f37eced094 index Stefan Kebekus 2026-08-07 17:48:38 +02:00
• 2ed59e43e6 Working Stefan Kebekus 2026-08-07 13:26:45 +02:00
• 89d3cf3324 Add proofs Stefan Kebekus 2026-08-07 13:08:58 +02:00
• 8de558b39d Merge branch 'main' of git.cplx.vm.uni-freiburg.de:kebekus/AlgebraZahlentheorie Stefan Kebekus 2026-08-07 13:08:46 +02:00
• 26ef8bc6b8 Add detailed proofs Stefan Kebekus 2026-08-07 13:07:51 +02:00
• eb670e1499 Update 05.tex Stefan Kebekus 2026-07-29 08:24:04 +02:00
• 1ae6ab8ad0 Math cleanup Stefan Kebekus 2026-07-23 08:49:39 +02:00
• e9c7c9fd49 Language Stefan Kebekus 2026-07-22 21:15:17 +02:00
• dc8208bedb Fix compilation Stefan Kebekus 2026-07-22 17:44:41 +02:00
• dee6f341dd Add CLAUDE.md Stefan Kebekus 2026-07-22 15:36:59 +02:00
• 07461e0969 Fix typo Stefan Kebekus 2024-02-02 13:51:13 +01:00
• 2b7a70f848 Mache Lemme präziser Stefan Kebekus 2024-01-16 11:05:30 +01:00
• 520c1fbb3c Clarify Stefan Kebekus 2024-01-15 16:14:43 +01:00
• 63f25c777b Clarify formulations Stefan Kebekus 2024-01-12 14:14:56 +01:00
• 602c6ad0af Fix error Stefan Kebekus 2024-01-08 15:36:40 +01:00
• 41a2f7cb0c Fix problems Stefan Kebekus 2024-01-07 14:33:42 +01:00
• 4ddba23dab Fix minor typo Stefan Kebekus 2023-12-12 10:40:57 +01:00
• aa7376e1f3 Minor improvements Stefan Kebekus 2023-12-08 09:33:30 +01:00
• 9c4f912def Kleine Verbesserungen Stefan Kebekus 2023-11-28 10:56:55 +01:00
• efe7c9e715 Minor bugfix Stefan Kebekus 2023-11-15 11:03:48 +01:00
• 2ad043e93c Expand Example Stefan Kebekus 2023-11-10 10:58:03 +01:00
• e5761aa858 Fix typos Stefan Kebekus 2023-11-10 10:00:53 +01:00
• a6ff676680 Fix minor typo Stefan Kebekus 2023-11-10 09:38:30 +01:00
• ca1c9e3941 Clarify Stefan Kebekus 2023-11-02 11:13:55 +01:00
• 63483ee9fc Fix minor typos Stefan Kebekus 2023-11-02 11:00:47 +01:00
• ae58761758 Minor cleanup Stefan Kebekus 2023-10-10 13:08:36 +02:00
• 55ce397ec8 Cleanup Stefan Kebekus 2023-10-06 15:20:10 +02:00
• 8c3f70f0e7 Cleanup Stefan Kebekus 2023-10-05 14:52:36 +02:00
• e2df9f0dbb Cleanup Stefan Kebekus 2023-10-04 16:02:27 +02:00
• ed40ae4c70 Update Stefan Kebekus 2023-10-04 14:51:26 +02:00
• 1c966a51db Cleanup Stefan Kebekus 2023-09-14 13:56:56 +02:00
• 2ee2f591f4 Cleanup Stefan Kebekus 2023-09-14 13:56:29 +02:00
• de5e767308 Cleanup Stefan Kebekus 2023-09-14 13:45:18 +02:00
• 764ea9df17 Add files Stefan Kebekus 2023-09-14 13:18:58 +02:00
• a8d11e240f Initial commit kebekus 2023-09-14 12:57:29 +02:00