Stefan Kebekus kebekus
0 Followers · 0 Following
Repositories
8
 Projects Packages Public Activity Starred Repositories
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 14:12:17 +02:00
dfbf3f772d Update complexHarmonic.examples.lean
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 12:39:44 +02:00
52abf9b79b Done with examples for holomorphicAt
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-10 10:59:01 +02:00
50d0bead78 Working…
kebekus pushed to main at kebekus/orbiAlb4 2024-06-07 14:28:07 +02:00
8585a08779 Done for today.
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-07 13:16:44 +02:00
21693bd12d working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-07 10:28:16 +02:00
271ad821dd Working…
kebekus pushed to main at kebekus/orbiAlb4 2024-06-06 15:19:23 +02:00
4ed5112111 Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-06 14:45:33 +02:00
2f4672e144 Working
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-06 09:52:48 +02:00
a6aba0fc68 Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-05 16:31:57 +02:00
a15d473434 Update partialDeriv.lean
kebekus pushed to main at kebekus/orbiAlb4 2024-06-05 15:58:09 +02:00
14da4f7ada Update 01-intro.tex
kebekus pushed to main at kebekus/orbiAlb4 2024-06-05 13:50:20 +02:00
3be7549eb8 working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-05 12:03:10 +02:00
9c53bb793a Working…
kebekus pushed to feature/locallyHarmonic at kebekus/nevanlinna 2024-06-05 10:19:13 +02:00
a34699ddbc Create holomorphic.lean
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 »