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 Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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