Skip to content

Actions: girving/series

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Interval satisfies our Series typeclasses build #27: Commit ca60d8c pushed by girving
3m 25s main
main
3m 25s
Update interval build #26: Commit 0557f01 pushed by girving
3m 31s main
main
3m 31s
Update mathlib build #25: Commit d5baf94 pushed by girving
3m 32s main
main
3m 32s
Update dependencies build #24: Commit 3e6f7c3 pushed by girving
3m 39s main
main
3m 39s
Restrict to finite order of approximations build #23: Commit 6e08ea0 pushed by girving
3m 24s main
main
3m 24s
PARTIAL work on kernel-friendly representation build #22: Commit 550aeca pushed by girving
2m 37s tree
tree
2m 37s
Nice README.md build #21: Commit 6627b85 pushed by girving
1m 40s main
main
1m 40s
Nice README.md build #20: Commit 909c1c8 pushed by girving
2m 7s main
main
2m 7s
Nice README.md build #19: Commit 878a307 pushed by girving
2m 0s main
main
2m 0s
Move some functionality from bottcher to series build #18: Commit d656bf8 pushed by girving
5m 13s main
main
5m 13s
Ensure Div2 definitions work for the rationals build #17: Commit 66279ea pushed by girving
1m 45s main
main
1m 45s
Two lemmas needed by Mandelbrot computations build #16: Commit 0beb481 pushed by girving
2m 40s main
main
2m 40s
A few more lemmas needed by Mandelbrot computations build #15: Commit c6b3920 pushed by girving
2m 45s main
main
2m 45s
Series.extend_zero and Series.extend_one build #14: Commit 46ca33d pushed by girving
2m 5s main
main
2m 5s
Shift a series to approximate multiplication by z ^ n build #13: Commit bb44187 pushed by girving
2m 53s main
main
2m 53s
More facts about Complex.sqrt build #12: Commit ad71927 pushed by girving
1m 47s main
main
1m 47s
Update github workflow to actions/checkout@v5 build #11: Commit 2e00311 pushed by girving
1m 33s main
main
1m 33s
Update to leanprover/lean4:v4.25.0-rc2 build #10: Commit 681b266 pushed by girving
3m 0s main
main
3m 0s
If a smooth function is small, its low-order derivatives are zero build #9: Commit 1013cf5 pushed by girving
1m 34s main
main
1m 34s
Iterated derivatives of constants build #8: Commit a8fced7 pushed by girving
3m 25s main
main
3m 25s
Misc directory to avoid clutter build #7: Commit 28ec67f pushed by girving
2m 50s main
main
2m 50s
Square roots using Newton's method build #6: Commit 9f5b78f pushed by girving
2m 48s main
main
2m 48s
Add an easy-to-use ApproxSeries typeclass build #5: Commit 6dfadda pushed by girving
1m 51s main
main
1m 51s
Power series Newton's method build #4: Commit 9fa5c24 pushed by girving
3m 33s main
main
3m 33s
Give Series an order : ℕ∞ field which zero-pads the approximation build #3: Commit 5fb517c pushed by girving
2m 33s main
main
2m 33s