Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 16:48:54 +01:00
ce3b3d8bd1 Working…
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 14:07:56 +01:00
08e963e801 Working…
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 11:32:31 +01:00
054edd49a7 Working…
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 11:09:53 +01:00
e7320231e9 Working…
kebekus pushed to main at kebekus/nevanlinna 2025-01-03 10:38:12 +01:00
4c4ed3d2b8 Working…
kebekus pushed to main at kebekus/nevanlinna 2025-01-01 20:40:53 +01:00
5f3f7173f5 Update mathlib
kebekus pushed to main at kebekus/nevanlinna 2024-12-24 06:50:26 +01:00
726ac9e93d Update firstMain.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-21 11:53:08 +01:00
b189664211 Update meromorphicAt.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-21 07:04:18 +01:00
e488068a7c Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-20 20:52:11 +01:00
402128875f Update logpos.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-20 15:27:09 +01:00
c218c59225 Update logpos.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-20 11:54:04 +01:00
0139e9c95a Update firstMain.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-20 11:30:10 +01:00
22d2eae3f6 Working
93006a2a7e Working…
Compare 2 commits »