Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,263 workflow runs
1,263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat : add complete formal solution for IMO 2025 P6 pull request #329: Pull request #166 synchronize by lean-tom
15m 34s lean-tom:imo2025_p6
lean-tom:imo2025_p6
15m 34s
update mathlib push to main #2850: Commit 48a4675 pushed by david-renshaw
15m 22s main
main
15m 22s
[Imo1991P6] simplify proofs: remove detour and unnecessary wlog push to main #2849: Commit 34f1dd1 pushed by david-renshaw
13m 39s main
main
13m 39s
Imo1991P6 (#167) push to main #2848: Commit 512e7bf pushed by dwrensha
14m 48s main
main
14m 48s
Imo1991P6 pull request #328: Pull request #167 opened by urinstinkt
14m 50s urinstinkt:Imo1991
urinstinkt:Imo1991
14m 50s
feat : add complete formal solution for IMO 2025 P6 pull request #327: Pull request #166 synchronize by lean-tom
14m 42s lean-tom:imo2025_p6
lean-tom:imo2025_p6
14m 42s
feat : add complete formal solution for IMO 2025 P6 pull request #326: Pull request #166 synchronize by lean-tom
18m 27s lean-tom:imo2025_p6
lean-tom:imo2025_p6
18m 27s
feat : add complete formal solution for IMO 2025 P6 pull request #325: Pull request #166 synchronize by lean-tom
14m 40s lean-tom:imo2025_p6
lean-tom:imo2025_p6
14m 40s
feat : add complete formal solution for IMO 2025 P6 pull request #324: Pull request #166 synchronize by lean-tom
13m 30s lean-tom:imo2025_p6
lean-tom:imo2025_p6
13m 30s
update mathlib push to main #2847: Commit 6733a8f pushed by david-renshaw
14m 43s main
main
14m 43s
feat : add complete formal solution for IMO 2025 P6 pull request #323: Pull request #166 opened by lean-tom
14m 43s lean-tom:imo2025_p6
lean-tom:imo2025_p6
14m 43s
update mathlib push to main #2846: Commit 208be9e pushed by dwrensha
14m 26s main
main
14m 26s
[Imo1971P1] avoid omega push to main #2845: Commit 8d9e560 pushed by dwrensha
15m 12s main
main
15m 12s
[Imo1971P1] omega -> lia push to main #2844: Commit b5ac49b pushed by dwrensha
15m 31s main
main
15m 31s
[Imo2024P5] omega -> lia push to main #2843: Commit d751dad pushed by dwrensha
15m 2s main
main
15m 2s
[Imo1994P6] golf push to main #2842: Commit de47f97 pushed by dwrensha
15m 59s main
main
15m 59s
[Imo1994P6] simplify proof using minFac and lia push to main #2841: Commit bdafec6 pushed by david-renshaw
15m 34s main
main
15m 34s
[Imo1994P6] golf push to main #2840: Commit 01c939c pushed by dwrensha
14m 46s main
main
14m 46s
update mathlib push to main #2839: Commit 9bf8740 pushed by dwrensha
13m 5s main
main
13m 5s
[Imo1994P6] adjust quantifier scope push to main #2838: Commit 08dff1b pushed by dwrensha
14m 42s main
main
14m 42s
[Imo1994p6] Formalization and solution (#164) push to main #2837: Commit 6c5187c pushed by dwrensha
15m 15s main
main
15m 15s
[Imo1994p6] Formalization and solution pull request #322: Pull request #164 synchronize by markusrydh
14m 17s markusrydh:imo1994p6
markusrydh:imo1994p6
14m 17s
Solution to IMO1991P5 (#165) push to main #2836: Commit 68bc412 pushed by dwrensha
15m 37s main
main
15m 37s
Solution to IMO1991P5 pull request #321: Pull request #165 synchronize by benpigchu
14m 14s benpigchu:imo-1991-p5
benpigchu:imo-1991-p5
14m 14s
Solution to IMO1991P5 pull request #320: Pull request #165 opened by benpigchu
14m 55s benpigchu:imo-1991-p5
benpigchu:imo-1991-p5
14m 55s