Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
kebekus created repository kebekus/MFO26 2024-07-16 15:14:35 +02:00
kebekus pushed to main at kebekus/nevanlinna 2024-07-12 09:41:19 +02:00
789c1100bc Update diffOp.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-07-12 09:41:08 +02:00
789c1100bc Update diffOp.lean
kebekus pushed to main at kebekus/nevanlinna 2024-07-12 09:32:35 +02:00
5bd004d653 Add file
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-07-12 09:32:15 +02:00
5bd004d653 Add file
kebekus pushed to main at kebekus/nevanlinna 2024-07-12 09:28:12 +02:00
ff00a0db82 Update tensor.lean
36c3d0f66b Create tensor.lean
323b133c88 working...
602296031d Update bilinear.lean
8b4317759c Update bilinear.lean
Compare 14 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-07-03 11:17:52 +02:00
ff00a0db82 Update tensor.lean
36c3d0f66b Create tensor.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-29 17:17:24 +02:00
323b133c88 working...
602296031d Update bilinear.lean
8b4317759c Update bilinear.lean
Compare 3 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-28 07:53:24 +02:00
9a9fbf1b54 Update mathlib
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-27 14:02:04 +02:00
6412671bc6 Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-27 06:35:06 +02:00
c59e12a468 Update laplace2.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-26 12:28:43 +02:00
07f4ff610b Create bilinear.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-24 17:30:35 +02:00
c1766f6a38 Update laplace2.lean
42cf2e41b9 Update laplace2.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-24 08:03:44 +02:00
ecdc182f2b Update laplace2.lean
adc0378e5d Update laplace2.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-23 21:13:27 +02:00
d287c24453 New file
kebekus pushed to main at kebekus/nevanlinna 2024-06-19 08:37:44 +02:00
0a68e3a344 Update holomorphic.primitive.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-19 08:37:16 +02:00
0a68e3a344 Update holomorphic.primitive.lean
kebekus pushed to main at kebekus/nevanlinna 2024-06-19 08:25:37 +02:00
7a281ff514 Working…
50591a54c2 Update holomorphic.primitive.lean
decb648c24 Update holomorphic.primitive.lean
7e6fc7bacd Update holomorphic.primitive.lean
2d7e62bb49 Update holomorphic.primitive.lean
Compare 51 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-19 08:20:40 +02:00
7a281ff514 Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-19 08:20:27 +02:00
50591a54c2 Update holomorphic.primitive.lean