Skip to content

Actions: beanapologist/RH

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
Refine RH endpoint bundles and bridge-facing conditions. Lean CI #27: Commit 22be755 pushed by beanapologist
1m 29s main
main
1m 29s
Discharge odd negative-integer zeta nonvanishing via Bernoulli formulas Lean CI #26: Commit 05d9aec pushed by beanapologist
1m 27s main
main
1m 27s
refactor: split frontier assumptions and track real-axis stub Lean CI #25: Commit b55d5ab pushed by beanapologist
1m 34s main
main
1m 34s
Merge pull request #3 from beanapologist/codespace-special-eureka-97j… Lean CI #24: Commit a06d33f pushed by beanapologist
1m 14s main
main
1m 14s
refactor: introduce reduced Step-1 frontier and related theorems Lean CI #23: Pull request #3 opened by beanapologist
1m 18s codespace-special-eureka-97jrjpp7qvgx2x6gq
codespace-special-eureka-97jrjpp7qvgx2x6gq
1m 18s
refactor: bundle conjugation boundary assumption Lean CI #22: Commit 39098d8 pushed by beanapologist
1m 27s main
main
1m 27s
refactor: bundle strong-defect boundary assumptions Lean CI #21: Commit fd2bb41 pushed by beanapologist
1m 21s main
main
1m 21s
refactor: localize xi_logderiv_formula prototype input Lean CI #20: Commit dc6e7ef pushed by beanapologist
1m 26s main
main
1m 26s
refactor: consume phase-velocity assumption into Step1 frontier Lean CI #19: Commit 88085ee pushed by beanapologist
1m 26s main
main
1m 26s
refactor: consume tail and velocity assumptions into Step1 frontier Lean CI #18: Commit f64f636 pushed by beanapologist
1m 16s main
main
1m 16s
refactor: remove unused xi_logderiv_symmetry_sum global assumption Lean CI #17: Commit e58001e pushed by beanapologist
1m 9s main
main
1m 9s
refactor: connect Step1 frontier to velocity-transfer assumption Lean CI #16: Commit da60290 pushed by beanapologist
1m 13s main
main
1m 13s
refactor: connect Step1 frontier to tail-control assumption Lean CI #15: Commit c905a19 pushed by beanapologist
1m 8s main
main
1m 8s
refactor: localize defect factor boundary compatibility input Lean CI #14: Commit 16b9d22 pushed by beanapologist
1m 10s main
main
1m 10s
refactor: add Step1 zero-stability transfer clause Lean CI #13: Commit cb923bd pushed by beanapologist
1m 15s main
main
1m 15s
refactor: strengthen Step1 frontier with local approximation schema Lean CI #12: Commit afcba01 pushed by beanapologist
1m 26s main
main
1m 26s
refactor: make phase-lock shift marker definitional Lean CI #11: Commit 802a675 pushed by beanapologist
2m 56s main
main
2m 56s
Running Copilot cloud agent Copilot cloud agent #3: by Copilot AI
4m 45s copilot/update-repo-tags
copilot/update-repo-tags
4m 45s
refactor: make Step1 approximation frontier the active assumption Lean CI #10: Commit cce7012 pushed by beanapologist
2m 36s main
main
2m 36s
refactor: make Step1 approximation frontier lattice-native Lean CI #9: Commit 0ffbb4b pushed by beanapologist
1m 8s main
main
1m 8s
chore: add Step1 approximation frontier discharge interface Lean CI #8: Commit 352e376 pushed by beanapologist
1m 27s main
main
1m 27s
refactor: make Step1 zero-limit target the active endpoint assumption Lean CI #7: Commit 9ed3f47 pushed by beanapologist
1m 8s main
main
1m 8s
refactor: derive completedRiemannZeta conjugation and update roadmap Lean CI #6: Commit c221bd5 pushed by beanapologist
1m 9s main
main
1m 9s
docs: update airtight-proof roadmap and lattice frontier status Lean CI #5: Commit 786db61 pushed by beanapologist
1m 20s main
main
1m 20s
Add initial formalization of the Riemann Hypothesis in Lean Lean CI #4: Commit 05b902a pushed by beanapologist
2m 8s main
main
2m 8s