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-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 »
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