Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
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 »
kebekus pushed to main at kebekus/nevanlinna 2024-12-20 08:16:27 +01:00
6e9cb9e62b working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-19 21:24:18 +01:00
1e28302c17 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-19 16:10:55 +01:00
4cc853a5d9 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-18 13:07:39 +01:00
e5b49993b7 Update specialFunctions_CircleIntegral_affine.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-18 11:04:39 +01:00
a2b084f535 Update meromorphicOn_integrability.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-18 08:47:43 +01:00
cc7d96124c Update lake-manifest.json
kebekus pushed to main at kebekus/nevanlinna 2024-12-16 17:17:48 +01:00
309724de36 Working…