Skip to content

Actions: andrestobelem/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 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
Merge branch 'agent/wilson-prime-563-caed' Lean Action CI #34: Commit c013175 pushed by cursor Bot
10m 50s main
main
10m 50s
feat(oppermann): extend native verification to x ≤ 60000 Lean Action CI #33: Commit 283d702 pushed by cursor Bot
10m 14s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
10m 14s
feat(oppermann): extend native verification to x ≤ 50000 Lean Action CI #32: Commit 2c25fc8 pushed by cursor Bot
7m 34s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
7m 34s
feat(oppermann): extend native verification to x ≤ 30000 Lean Action CI #31: Commit c2f21d4 pushed by cursor Bot
3m 56s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
3m 56s
feat(lean4): reduce Oppermann sides to positive Möbius sums Lean Action CI #30: Commit 0fda100 pushed by cursor Bot
3m 16s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
3m 16s
feat(lean4): raise Oppermann check to 20000 and add Brocard/Jacobsthal Lean Action CI #29: Commit eea0abb pushed by cursor Bot
2m 53s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 53s
feat(lean4): equate Oppermann intervals with minFac and primorial sieves Lean Action CI #28: Commit 0f0f91d pushed by cursor Bot
2m 30s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 30s
feat(lean4): add primorial and sqrt-window forms of Oppermann Lean Action CI #27: Commit 92ff911 pushed by cursor Bot
2m 7s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 7s
feat(lean4): equate Oppermann with growth of π and isolate the gap Lean Action CI #26: Commit 6d5069c pushed by cursor Bot
2m 1s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 1s
feat(lean4): prove Oppermann for all x ≤ 10000 Lean Action CI #25: Commit 8496239 pushed by cursor Bot
1m 57s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
1m 57s
feat(lean4): prove Oppermann for x ≤ 100 and show Bertrand is too wide Lean Action CI #24: Commit 535ed72 pushed by cursor Bot
2m 3s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 3s
feat(lean4): prove Oppermann by hand for x = 2 and x = 3 Lean Action CI #23: Commit 2eab09e pushed by cursor Bot
1m 37s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
1m 37s
feat(lean4): formalize Oppermann and Legendre, verify x ≤ 50 Lean Action CI #22: Commit 8ccdd4f pushed by cursor Bot
1m 49s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
1m 49s
feat(lean4): attempt Goldbach by 2p and 2+p cases Lean Action CI #21: Commit 0bda726 pushed by cursor Bot
2m 10s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 10s
feat(lean4): prove 2 and 3 are not Wilson primes Lean Action CI #20: Commit af8a739 pushed by cursor Bot
2m 20s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 20s
feat(lean4): formalize Collatz and verify n ≤ 100 Lean Action CI #19: Commit 39758e9 pushed by cursor Bot
2m 0s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 0s
feat(lean4): formalize twin primes and list all below 100 Lean Action CI #18: Commit b4c4cb9 pushed by cursor Bot
1m 41s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
1m 41s
feat(lean4): formalize Goldbach and verify even n up to 100 Lean Action CI #17: Commit 6099b96 pushed by cursor Bot
2m 2s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
2m 2s
feat(lean4): formalize Woodall primes with concrete examples Lean Action CI #16: Commit e7073bb pushed by cursor Bot
1m 47s agent/wilson-prime-563-caed
agent/wilson-prime-563-caed
1m 47s
feat(imo): formalize IMO 1959 P2 Lean Action CI #15: Commit d973835 pushed by cursor Bot
1m 46s agent/imo1959-p2-9004
agent/imo1959-p2-9004
1m 46s
Merge pull request #3 from andrestobelem/agent/install-gh-cli-32f2 Lean Action CI #14: Commit 177bba6 pushed by andrestobelem
1m 58s main
main
1m 58s
Agent/install gh cli 32f2 Lean Action CI #13: Pull request #3 opened by andrestobelem
2m 50s agent/install-gh-cli-32f2
agent/install-gh-cli-32f2
2m 50s
feat(cloud): authenticate gh with GH_USER_TOKEN on boot Lean Action CI #12: Commit 8fed55b pushed by cursor Bot
3m 18s agent/install-gh-cli-32f2
agent/install-gh-cli-32f2
3m 18s
Merge pull request #2 from andrestobelem/agent/mathlib-imo1959-32f2 Lean Action CI #11: Commit ade34ef pushed by andrestobelem
2m 39s main
main
2m 39s
feat(cloud): authenticate gh with GH_USER_TOKEN on boot Lean Action CI #10: Commit 4cc20bf pushed by cursor Bot
25s agent/install-gh-cli-32f2
agent/install-gh-cli-32f2
25s