Skip to content

Actions: rkirov/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
324 workflow runs
324 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
Prove Section 9.9 sequence-equivalence machinery and 9.9.10/9.9.11 ex… Build book #153: Commit 2838a9e pushed by rkirov
10m 23s main
main
10m 23s
Prove Section 9.9 opening examples through ContinuousOn.ofUniformCont… Build book #152: Commit 1407d54 pushed by rkirov
2h 29m 31s main
main
2h 29m 31s
Prove Exercise 9.8.3: continuous injection on Icc is strictly monoton… Build book #151: Commit 2be8582 pushed by rkirov
2h 31m 10s main
main
2h 31m 10s
Prove anti_of_strictanti and fix Exercise 9.8.2 IVT-failure statements Build book #150: Commit 219cd97 pushed by rkirov
3m 32s main
main
3m 32s
update README.md Build book #149: Commit cba0b0c pushed by rkirov
1h 59m 13s main
main
1h 59m 13s
Fix IVT statement typo and prove decreasing case Build book #148: Commit 436140c pushed by rkirov
16m 48s main
main
16m 48s
Fix unused variable linter warnings in BddOn.div Build book #147: Commit 0098b0f pushed by rkirov
16m 49s main
main
16m 49s
Add Exercise 9.6.2 statements: BddOn arithmetic operations Build book #146: Commit d120043 pushed by rkirov
14m 31s main
main
14m 31s
Prove Section 9.6 exercises: maximum principle, extrema counterexamples Build book #145: Commit c0b202a pushed by rkirov
10m 19s main
main
10m 19s
Prove remaining Section 9.4 exercises Build book #144: Commit 7b2c09f pushed by rkirov
13m 22s main
main
13m 22s
Prove 9.4.11 (continuity of x ↦ x^p on Ioi 0) Build book #143: Commit 0dd1296 pushed by rkirov
14m 28s main
main
14m 28s
Fix call sites after removing x ∈ X hypothesis from 9.4 helpers Build book #142: Commit c4d31ca pushed by rkirov
12m 8s main
main
12m 8s
Add an eps-delta proof for 9.4.5 Build book #141: Commit 8f384c2 pushed by rkirov
4m 47s main
main
4m 47s
Solve 9.4.5 using filters Build book #140: Commit ac5b900 pushed by rkirov
4m 43s main
main
4m 43s
Prove Section 9.4 examples and fix compilation errors Build book #139: Commit c8ad2c1 pushed by rkirov
4m 48s main
main
4m 48s
Fix downstream call sites after AdherentPt removal in Section 9.3 Build book #138: Commit d66ffcd pushed by rkirov
11m 19s main
main
11m 19s
Prove sequential characterization of limSup/limInf and squeeze test (… Build book #137: Commit fe375c2 pushed by rkirov
4m 18s main
main
4m 18s
Prove Section 9.3 exercises (9.3.1–9.3.3, limit laws, examples) Build book #136: Commit fc2a638 pushed by rkirov
7m 8s main
main
7m 8s
Prove all Chapter 8 exercises (Sections 8.1–8.5) Build book #135: Commit caf03c9 pushed by rkirov
2h 24m 45s main
main
2h 24m 45s
Formalize exercises 8.5.15–8.5.20 statements and supporting definitions Validate Subverso Package Hashes #172: Commit 1dfd0b2 pushed by rkirov
7s upstream-8.5.15-20
upstream-8.5.15-20
7s
Prove well_ordering_principle, isMax_iff_full, maximal_disjoint_subco… Validate Subverso Package Hashes #171: Commit 5cfba30 pushed by rkirov
7s main
main
7s
Prove well_ordering_principle, isMax_iff_full, maximal_disjoint_subco… Build book #134: Commit 5cfba30 pushed by rkirov
1m 51s main
main
1m 51s
Prove Exercise 8.5.16 results and PNat.divOrder coarseness example Validate Subverso Package Hashes #170: Commit 00abf03 pushed by rkirov
9s main
main
9s
Prove Exercise 8.5.16 results and PNat.divOrder coarseness example Build book #133: Commit 00abf03 pushed by rkirov
1m 37s main
main
1m 37s
Prove Zorn's lemma (Lemma 8.5.15 / Exercise 8.5.14) Validate Subverso Package Hashes #169: Commit 8a4b418 pushed by rkirov
8s main
main
8s