Skip to content

Actions: girving/ray

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Some dynamical space work leading up to RayEqn clarity build #66: Commit cc03156 pushed by girving
3m 32s main
main
3m 32s
Functional equations and cascade for pray build #65: Commit d9d0048 pushed by girving
2m 54s main
main
2m 54s
Functional equation for s.ray in dynamical space build #64: Commit 8fbfc23 pushed by girving
3m 4s main
main
3m 4s
Multibrot area via Grönwall's area theorem build #63: Commit 2b98f06 pushed by girving
6m 16s main
main
6m 16s
Remove deriv f 0 = 1 requirement from Gronwall build #62: Commit 75eadf0 pushed by girving
6m 34s main
main
6m 34s
Upstream results in Manifold/Manifold and Manifold/Analytic (#5) build #61: Commit 526f25c pushed by girving
6m 1s main
main
6m 1s
Upstream results in Manifold/Manifold and Manifold/Analytic build #60: Pull request #5 synchronize by bwangpj
3m 56s bwangpj:upstreaming_manifold
bwangpj:upstreaming_manifold
3m 56s
Upstream results in Manifold/Manifold and Manifold/Analytic build #59: Pull request #5 synchronize by bwangpj
6m 21s bwangpj:upstreaming_manifold
bwangpj:upstreaming_manifold
6m 21s
Upstream results in Manifold/Manifold and Manifold/Analytic build #58: Pull request #5 synchronize by bwangpj
5m 27s bwangpj:upstreaming_manifold
bwangpj:upstreaming_manifold
5m 27s
Add Grönwall and Koebe to the README build #57: Commit 1021fb7 pushed by girving
2m 0s main
main
2m 0s
Add Grönwall and Koebe to the README build #56: Commit 2423919 pushed by girving
2m 16s main
main
2m 16s
Prove the Koebe quarter theorem build #55: Commit a3c9424 pushed by girving
4m 26s main
main
4m 26s
nth roots of nonzero analytic functions exist build #53: Commit 6b7036f pushed by girving
4m 20s main
main
4m 20s
Depend on Log.lean in Ray.lean build #51: Commit d5bf560 pushed by girving
1m 28s main
main
1m 28s
Logs of nonzero analytic functions exist build #50: Commit bee9a73 pushed by girving
2m 36s main
main
2m 36s
Merge branch 'main' into koebe build #49: Commit 05066a8 pushed by girving
4m 30s koebe
koebe
4m 30s
Prove Grönwall's area theorem build #48: Commit ec801a4 pushed by girving
5m 42s main
main
5m 42s
Update mathlib build #47: Commit 1e45518 pushed by girving
5m 23s main
main
5m 23s
Grönwall's area theorem proved! build #46: Commit 2a81947 pushed by girving
5m 0s koebe
koebe
5m 0s
Next step: push down to r = 1 build #45: Commit f0eb93c pushed by girving
3m 48s koebe
koebe
3m 48s
Analytically continue down to 1 < r build #44: Commit c29b90e pushed by girving
4m 36s koebe
koebe
4m 36s
Nearly there! Just some analytic continuation left build #43: Commit 04b459d pushed by girving
3m 49s koebe
koebe
3m 49s
Conjugated power series build #42: Commit cea1506 pushed by girving
5m 9s koebe
koebe
5m 9s
Didn't quite prove Koebe by the end of the break! build #41: Commit 06c2cac pushed by girving
5m 48s koebe
koebe
5m 48s
Integrals of analytic functions are analytic build #40: Commit 5e93d5d pushed by girving
5m 56s koebe
koebe
5m 56s