Skip to content

Actions: teorth/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,467 workflow runs
1,467 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
Fill null, atomic, restriction, and infimum constructors for boolean algebras Build book #1513: Pull request #693 opened by Chessing234
5m 8s Chessing234:feat/null-atoms-restrict
Chessing234:feat/null-atoms-restrict
5m 8s
Fill sigma-algebra order, infima, and the Mathlib union bridge Build book #1512: Pull request #692 opened by Chessing234
5m 40s Chessing234:feat/sigma-algebra-order
Chessing234:feat/sigma-algebra-order
5m 40s
Point inner-measure's bounded-set cover at the existing lemma Build book #1511: Pull request #691 opened by Chessing234
12m 27s Chessing234:feat/inner-measure-inelementary
Chessing234:feat/inner-measure-inelementary
12m 27s
Fill Lebesgue outer measure of the empty set and monotonicity Build book #1510: Pull request #690 opened by Chessing234
8m 1s Chessing234:feat/lebesgue-outer-empty-mono
Chessing234:feat/lebesgue-outer-empty-mono
8m 1s
Fill empty and complement for the elementary boolean algebra Build book #1509: Pull request #689 opened by Chessing234
5m 48s Chessing234:feat/elementary-boolean-algebra
Chessing234:feat/elementary-boolean-algebra
5m 48s
Fill restriction, Dirac, zero and sum of finitely additive measures Build book #1508: Pull request #688 opened by Chessing234
8m 49s Chessing234:feat/finitely-additive-easy-examples
Chessing234:feat/finitely-additive-easy-examples
8m 49s
Fill Lebesgue and Jordan boolean-algebra constructors Build book #1507: Pull request #687 opened by Chessing234
5m 20s Chessing234:feat/lebesgue-jordan-boolean-algebra
Chessing234:feat/lebesgue-jordan-boolean-algebra
5m 20s
Fill ConcreteBooleanAlgebra order axioms Build book #1506: Pull request #686 opened by Chessing234
5m 56s Chessing234:feat/boolean-algebra-order
Chessing234:feat/boolean-algebra-order
5m 56s
fix: extended-real Jordan inner measure for Exercise 1.2.5 Build book #1505: Pull request #685 opened by teorth
2h 21m 14s fix/jordan-inner-measure-ereal
fix/jordan-inner-measure-ereal
2h 21m 14s
Merge pull request #665 from Chessing234/measure-elementary-prod Build book #1504: Commit 245b2e1 pushed by teorth
2h 0m 38s main
main
2h 0m 38s
Merge pull request #666 from Chessing234/measure-jordan-equiv Build book #1503: Commit fc5ed5e pushed by teorth
26s main
main
26s
Merge pull request #674 from Chessing234/ex-10-2-6-closed-interval Build book #1502: Commit 0f0b02f pushed by teorth
4s main
main
4s
Decide Exercise 6.6.2: distinct mutually subsequence sequences exist Build book #1501: Pull request #684 opened by Chessing234
10m 7s Chessing234:fix/ex-6-6-2-mutual-subsequences
Chessing234:fix/ex-6-6-2-mutual-subsequences
10m 7s
Decide Exercise A.5.1 quantifier-order claims Build book #1500: Pull request #683 opened by Chessing234
1h 54m 58s Chessing234:fix/a51-decide-quantifier-order
Chessing234:fix/a51-decide-quantifier-order
1h 54m 58s
Disprove Exercise 3.5.6 without nonempty hypotheses Build book #1499: Pull request #682 opened by Chessing234
12m 16s Chessing234:fix/ex-3-5-6-prod-subset-needs-nonempty
Chessing234:fix/ex-3-5-6-prod-subset-needs-nonempty
12m 16s
Disprove Exercise A.1.4: implication plus its contrapositive is not iff Build book #1498: Pull request #681 opened by Chessing234
10m 11s Chessing234:fix/a14-false-iff-from-implication
Chessing234:fix/a14-false-iff-from-implication
10m 11s
fix: Exercise 3.5.5 — product does not distribute over ∪ or \ Build book #1497: Pull request #680 synchronize by Chessing234
2h 18m 56s Chessing234:fix/ex-3-5-5-prod-union-diff-false
Chessing234:fix/ex-3-5-5-prod-union-diff-false
2h 18m 56s
fix: Exercise 11.3.2 — multiplication/scaling do not preserve majorization Build book #1496: Pull request #675 synchronize by Chessing234
1h 36m 22s Chessing234:fix/ex-11-3-2-mul-smul-false
Chessing234:fix/ex-11-3-2-mul-smul-false
1h 36m 22s
fix: Exercise 3.5.5 — product does not distribute over ∪ or \ Build book #1495: Pull request #680 opened by Chessing234
11m 13s Chessing234:fix/ex-3-5-5-prod-union-diff-false
Chessing234:fix/ex-3-5-5-prod-union-diff-false
11m 13s
fix: require boundedness for Lebesgue=Jordan-inner equalities Build book #1494: Pull request #679 synchronize by Chessing234
1h 38m 47s Chessing234:fix/jordan-inner-requires-bounded-clean
Chessing234:fix/jordan-inner-requires-bounded-clean
1h 38m 47s
fix: require boundedness for Lebesgue=Jordan-inner equalities Build book #1493: Pull request #679 synchronize by Chessing234
1m 40s Chessing234:fix/jordan-inner-requires-bounded-clean
Chessing234:fix/jordan-inner-requires-bounded-clean
1m 40s
fix: require boundedness for Lebesgue=Jordan-inner equalities Build book #1492: Pull request #679 opened by Chessing234
1m 11s Chessing234:fix/jordan-inner-requires-bounded-clean
Chessing234:fix/jordan-inner-requires-bounded-clean
1m 11s
fix: require boundedness for Lebesgue=Jordan-inner equalities Build book #1491: Pull request #678 opened by Chessing234
2h 25m 9s Chessing234:fix/jordan-inner-requires-bounded
Chessing234:fix/jordan-inner-requires-bounded
2h 25m 9s
fix: Exercise 3.4.3 — image does not preserve ∩ or \ Build book #1490: Pull request #677 opened by Chessing234
2h 22m 30s Chessing234:fix/ex-3-4-3-image-inter-diff-false
Chessing234:fix/ex-3-4-3-image-inter-diff-false
2h 22m 30s
fix: Exercise 8.5.5(b) — pullback of < need not be a linear order Build book #1489: Pull request #676 opened by Chessing234
2h 16m 15s Chessing234:fix/ex-8-5-5-linear-order-false
Chessing234:fix/ex-8-5-5-linear-order-false
2h 16m 15s