Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to master at kebekus/MFO26 2024-07-19 11:00:55 +02:00
9033eeb8f4 Going through section Hodge theory
1fb13dfebf Update dictionary
Compare 2 commits »
kebekus pushed to master at kebekus/MFO26 2024-07-16 16:48:10 +02:00
101d5d9d90 Formulating…
kebekus pushed to master at kebekus/MFO26 2024-07-16 15:22:27 +02:00
b243b5b0eb Format TeX
kebekus created branch master in kebekus/MFO26 2024-07-16 15:18:06 +02:00
kebekus pushed to master at kebekus/MFO26 2024-07-16 15:18:06 +02:00
76ce41345d Initial checkout
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