Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
kebekus pushed to main at kebekus/nevanlinna 2024-05-14 09:47:50 +02:00
4acac60a4f Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 10:10:15 +02:00
e7b23a6b2c Update complexHarmonic.lean
5e3f9c463f Update laplace.lean
Compare 2 commits »
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 09:48:20 +02:00
e5f2551482 Fix error
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 09:46:24 +02:00
ad1e7d113f Update laplace.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-13 09:23:11 +02:00
d5f34a3110 Split off file
kebekus pushed to main at kebekus/nevanlinna 2024-05-09 10:39:44 +02:00
005cd10a28 Update partialDeriv.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-09 08:18:59 +02:00
6ea989be6b Update partialDeriv.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 15:59:58 +02:00
9579da6e39 Define partial over arbitrary fields
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 08:32:09 +02:00
69a35228ee Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 08:27:16 +02:00
5ce2b83c20 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-08 07:15:37 +02:00
631b1bad70 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 17:32:44 +02:00
6061fa4279 Update partialDeriv.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 16:51:06 +02:00
e45017277a Working
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 13:45:39 +02:00
b5cf426b7f Clean up
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 12:13:31 +02:00
b26256d84e Big cleanup
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 10:16:26 +02:00
a1910c3a72 Working...
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 09:50:00 +02:00
403605f7a0 Working on partial derivatives
kebekus pushed to main at kebekus/nevanlinna 2024-05-07 07:08:27 +02:00
dc544308c8 Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-06 17:01:13 +02:00
9ac79470cd Update complexHarmonic.lean
kebekus pushed to main at kebekus/nevanlinna 2024-05-06 15:33:06 +02:00
b03954eee9 Create comparingDerivatives.lean