Skip to content

Actions: rkirov/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix missing type variable Y in map_finite_series Build book #95: Commit 30bdbc5 pushed by rkirov
6m 14s main
main
6m 14s
Fix missing type variable Y in map_finite_series Validate Subverso Package Hashes #119: Commit 30bdbc5 pushed by rkirov
7s main
main
7s
Simplify Icc examples in Section 7.1 using ext/simp/omega Build book #94: Commit 5a61704 pushed by rkirov
8m 31s main
main
8m 31s
Simplify Icc examples in Section 7.1 using ext/simp/omega Validate Subverso Package Hashes #118: Commit 5a61704 pushed by rkirov
8s main
main
8s
Simplify Icc examples in Section 7.1 using ext/simp/omega Validate Subverso Package Hashes #117: Commit 4ec6d9c pushed by rkirov
8s main
main
8s
Simplify Icc examples in Section 7.1 using ext/simp/omega Build book #93: Commit 4ec6d9c pushed by rkirov
6m 22s main
main
6m 22s
Fill 5 examples demonstrating finite sum definitions (Section 7.1) Validate Subverso Package Hashes #116: Commit 77a5248 pushed by rkirov
10s main
main
10s
Fill 5 examples demonstrating finite sum definitions (Section 7.1) Build book #92: Commit 77a5248 pushed by rkirov
6m 1s main
main
6m 1s
Add missing (hx : x > 0) hypothesis to rpow_eq_rpow Validate Subverso Package Hashes #115: Commit ec4fd5e pushed by rkirov
8s fix-rpow-eq-rpow-hypothesis
fix-rpow-eq-rpow-hypothesis
8s
Fill all remaining Chapter 6 epilogue sorries and update README Build book #91: Commit 6ffb30f pushed by rkirov
5m 49s main
main
5m 49s
Fill all remaining Chapter 6 epilogue sorries and update README Validate Subverso Package Hashes #114: Commit 6ffb30f pushed by rkirov
6s main
main
6s
Remove unnecessary show ... from wrappers in chapter 6 Validate Subverso Package Hashes #113: Commit 193e9d1 pushed by rkirov
9s main
main
9s
Remove unnecessary show ... from wrappers in chapter 6 Build book #90: Commit 193e9d1 pushed by rkirov
15m 24s main
main
15m 24s
Fill 5 Mathlib bridge proofs in Section_6_epilogue (lim, sup, inf, bd… Build book #89: Commit b4fb170 pushed by rkirov
6m 7s main
main
6m 7s
Fill 5 Mathlib bridge proofs in Section_6_epilogue (lim, sup, inf, bd… Validate Subverso Package Hashes #112: Commit b4fb170 pushed by rkirov
7s main
main
7s
Fix ratPow_mono_of_lt_one to match Lemma 5.6.9(e) Validate Subverso Package Hashes #111: Commit a4e0e4e pushed by rkirov
8s fix-ratPow-mono-lt-one-typo
fix-ratPow-mono-lt-one-typo
8s
Fix typo in ratPow_mono_of_lt_one: q < r should be q > r Validate Subverso Package Hashes #110: Commit 8d45e6d pushed by rkirov
7s fix-ratPow-mono-lt-one-typo
fix-ratPow-mono-lt-one-typo
7s
Add instructions to use use over refine Validate Subverso Package Hashes #109: Commit f17519d pushed by rkirov
9s main
main
9s
Add instructions to use use over refine Build book #88: Commit f17519d pushed by rkirov
4m 7s main
main
4m 7s
Fill x<1 cases for ratPow_continuous and ratPow_lim_uniq (Section 6.7) Validate Subverso Package Hashes #108: Commit 59abaeb pushed by rkirov
9s main
main
9s
Fill x<1 cases for ratPow_continuous and ratPow_lim_uniq (Section 6.7) Build book #87: Commit 59abaeb pushed by rkirov
7m 57s main
main
7m 57s
Refactor: use use instead of refine where possible (6.3, 6.4, 6.6) Build book #86: Commit ff04357 pushed by rkirov
14m 2s main
main
14m 2s
Refactor: use use instead of refine where possible (6.3, 6.4, 6.6) Validate Subverso Package Hashes #107: Commit ff04357 pushed by rkirov
11s main
main
11s
Fill exercises 6.6.2, 6.6.3 and fix 4 pre-existing bugs in Section 6.6 Build book #85: Commit 5ed1bac pushed by rkirov
6m 15s main
main
6m 15s
Fill exercises 6.6.2, 6.6.3 and fix 4 pre-existing bugs in Section 6.6 Validate Subverso Package Hashes #106: Commit 5ed1bac pushed by rkirov
9s main
main
9s