Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
9
 Projects Packages Public Activity Starred Repositories
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-05 09:51:05 +02:00
05582e5d83 Update complexHarmonic.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-05 09:06:29 +02:00
74d9636aa9 Simplify
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-05 06:42:17 +02:00
7741447426 Update partialDeriv.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-04 12:30:29 +02:00
80486cc56c working
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-04 10:27:50 +02:00
6eea56e788 Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 18:53:59 +02:00
4d3332b15d Update complexHarmonic.examples.lean
c595da782c Update complexHarmonic.examples.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 17:32:36 +02:00
89793b75d8 Update complexHarmonic.examples.lean
kebekus pushed to main at kebekus/orbiAlb4 2024-06-03 16:42:02 +02:00
9b77c8ed7e Writing…
kebekus pushed to main at kebekus/orbiAlb4 2024-06-03 14:29:02 +02:00
3699e96e96 Update 01-intro.tex
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 13:59:12 +02:00
e76e9abaf3 split off file
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 13:41:37 +02:00
e1eb1463e8 Cleanup
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 13:35:56 +02:00
c2c730e510 All done.
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-03 12:56:34 +02:00
40659c2f17 Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-31 16:10:09 +02:00
637c0cf175 Update complexHarmonic.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-31 16:06:46 +02:00
d6e8f57019 working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-31 10:21:31 +02:00
7a1359308e done for today
a7b0790675 working
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 17:02:21 +02:00
c8e1aacb15 working
b0ab121868 working
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 10:49:20 +02:00
ac3cd65bf2 Update complexHarmonic.lean
7f10e28525 Update complexHarmonic.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 10:26:44 +02:00
2544242b13 Update laplace.lean
47ab90446f Update laplace.lean
Compare 2 commits »
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-05-30 09:57:38 +02:00
f480ae2a0f Update partialDeriv.lean