Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
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
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 13:44:01 +01:00
dce2f57135 Move unused files to junk
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 13:42:50 +01:00
20a0d664b7 Update stronglyMeromorphic_JensenFormula.lean
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 12:00:53 +01:00
734ea1a8f4 Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-05 07:12:38 +01:00
5e244a732a Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 17:21:28 +01:00
ae3e64c83b Working…
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 16:54:19 +01:00
ad298459ee working
kebekus pushed to main at kebekus/nevanlinna 2024-12-03 12:05:03 +01:00
ebfa0e9bd0 Update stronglyMeromorphic_JensenFormula.lean