Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/LineareAlgebra2 2025-05-05 10:33:34 +02:00
3bd5ccd104 Fix errors
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-24 11:06:07 +02:00
d60b7d8de5 Fix compilation
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-24 10:59:49 +02:00
bd2fd06b37 Add proof
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-21 09:39:46 +02:00
36843a3041 Update links and references
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-09 13:29:01 +02:00
663a016d0b Update
edec21e4a2 Clean up first lectures
393c8cc10c Update LineareAlgebra2.tex
5deb1b9145 Create deploy.sh
Compare 4 commits »
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-07 13:39:55 +02:00
7cc1d81292 Add spell checker
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-07 13:31:48 +02:00
a9ca7eacbd Fix typo
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-07 13:27:59 +02:00
df53a95834 Add files
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-07 13:21:08 +02:00
b3fa80f066 Merge branch 'main' of git.cplx.vm.uni-freiburg.de:kebekus/LineareAlgebra2
0fed897098 Cleanup
Compare 2 commits »
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-07 13:08:06 +02:00
a17ae65261 README.md aktualisiert
kebekus pushed to main at kebekus/LineareAlgebra2 2025-04-07 13:07:43 +02:00
0ebca45962 Add files
kebekus created branch main in kebekus/LineareAlgebra2 2025-04-07 13:07:43 +02:00
kebekus created repository kebekus/LineareAlgebra2 2025-04-07 13:05:06 +02:00
kebekus pushed to main at kebekus/nevanlinna 2025-01-08 11:12:42 +01:00
0526a8c367 Update README
kebekus pushed to main at kebekus/nevanlinna 2025-01-07 08:26:58 +01:00
d391ebe1ba Update README.md
kebekus pushed to main at kebekus/nevanlinna 2025-01-06 16:09:58 +01:00
b26cde43a1 Update README.md
325736f1e9 Update README.md
b4d2f46595 Add README
Compare 3 commits »
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 20:08:36 +01:00
9341f6a24f Update specialFunctions_Integral_log_sin.lean
kebekus deleted branch feature/analyticOn from kebekus/nevanlinna 2025-01-03 18:26:25 +01:00
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 18:09:00 +01:00
6329e081a3 Add leftovers
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 17:45:27 +01:00
f5a835764b Update