Skip to content

Actions: girving/ray

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Another bound lemma build #97: Commit 0ca7b1e pushed by girving
4m 58s main
main
4m 58s
Another bound lemma build #96: Commit 20c2751 pushed by girving
4m 48s main
main
4m 48s
Update lean and mathlib build #95: Commit 3bd6305 pushed by girving
7m 41s main
main
7m 41s
Mark potential_nonneg as @[simp, bound] build #94: Commit 56d6fbb pushed by girving
4m 5s main
main
4m 5s
Various lemmas for needed by Koebe computations build #93: Commit 8845413 pushed by girving
4m 9s main
main
4m 9s
Two more multibrot potential lemmas build #92: Commit f739c18 pushed by girving
4m 20s main
main
4m 20s
Mark a few basic escape facts public build #91: Commit 06dd6e0 pushed by girving
3m 57s main
main
3m 57s
Make attracts_shift public build #90: Commit f20ccc8 pushed by girving
3m 22s main
main
3m 22s
Add a missing public build #89: Commit 63ef775 pushed by girving
4m 27s main
main
4m 27s
s.potential and s.bottcher are nonzero at finite values build #88: Commit 85f24fb pushed by girving
4m 32s main
main
4m 32s
Bottcher is never zero at finite values build #87: Commit b7b81df pushed by girving
2m 43s main
main
2m 43s
A few more bottcher and potential approximation lemmas build #86: Commit c96522e pushed by girving
3m 18s main
main
3m 18s
Lift Ray.Dynamics.Multibrot to a toplevel Ray.Multibrot directory build #85: Commit 14979bb pushed by girving
6m 37s main
main
6m 37s
Dynamic space bottcher derivative approximations build #84: Commit 96e3e06 pushed by girving
2m 52s main
main
2m 52s
Extend bounds to hold for small c build #83: Commit e05d00c pushed by girving
5m 5s main
main
5m 5s
Missed a public build #82: Commit dd587e5 pushed by girving
2m 25s main
main
2m 25s
Koebe-Pick theorem: analogue to Koebe at a non-origin point build #81: Commit 2bfb7ce pushed by girving
2m 10s main
main
2m 10s
Bottcher derivative approximations build #80: Commit 4a844f7 pushed by girving
4m 50s main
main
4m 50s
Script to visualise public imports build #79: Commit a8ace36 pushed by girving
5m 56s main
main
5m 56s
Switch to module system build #78: Commit 146fdf8 pushed by girving
6m 27s main
main
6m 27s
Variable radii and ball → closedBall versions of Schwarz-Pick build #77: Commit 430e4b1 pushed by girving
6m 40s main
main
6m 40s
Prove the Schwarz-Pick theorem build #76: Commit 367fae1 pushed by girving
6m 22s main
main
6m 22s
Tighten multibrot bounds build #75: Commit 0d0b1e4 pushed by girving
6m 11s main
main
6m 11s
Update mathlib build #74: Commit 54f8824 pushed by girving
6m 12s main
main
6m 12s
Update to leanprover/lean4:v4.26.0-rc1 build #73: Commit 9580a90 pushed by girving
5m 44s main
main
5m 44s