Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
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…
kebekus pushed to main at kebekus/nevanlinna 2024-12-16 12:43:05 +01:00
12397c3055 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-16 07:36:06 +01:00
cf301d65d6 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-13 16:24:29 +01:00
e80aebfe38 Update stronglyMeromorphicOn_eliminate.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-13 16:03:03 +01:00
1c02007e1e Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-13 12:26:09 +01:00
39c70be68c Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-13 07:58:42 +01:00
84abab6b78 Working
kebekus pushed to main at kebekus/nevanlinna 2024-12-12 13:49:36 +01:00
1d1ae779cc Working
kebekus pushed to main at kebekus/nevanlinna 2024-12-12 12:23:23 +01:00
7dcc6e209c Update lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-11 12:36:48 +01:00
ee7f20c593 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-09 19:59:01 +01:00
c7a3804b0c Implementing…
kebekus pushed to main at kebekus/nevanlinna 2024-12-09 16:00:31 +01:00
3b2d1434f7 Update firstMain.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 16:53:51 +01:00
9068ad406e Update firstMain.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 13:51:04 +01:00
c6e72864c8 Update firstMain.lean