Skip to content

Actions: AlexKontorovich/PrimeNumberTheoremAnd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
feat(StrongPNT): formalize Zero-Free Strip log-deriv bounds and contour estimates (I2New, I3New, I4New)Feat/strong pnt delta range bound Build Project #2709: Pull request #1752 opened by navindutta
Action required navindutta:feat/strong-pnt-delta-range-bound
navindutta:feat/strong-pnt-delta-range-bound
Action required
feat(StrongPNT): formalize Zero-Free Strip log-deriv bounds and contour estimates (I2New, I3New, I4New)Feat/strong pnt delta range bound Auto-label AI-assisted PRs #17: Pull request #1752 opened by navindutta
10s
10s
[StrongPNT]: Log Deriv Zeta Log Squared Estimate Build Project #2708: Pull request #1751 synchronize by prestontranbarger
1h 3m 5s prestontranbarger:PT_work
prestontranbarger:PT_work
1h 3m 5s
[StrongPNT]: Log Deriv Zeta Log Squared Estimate Build Project #2707: Pull request #1751 synchronize by prestontranbarger
48m 34s prestontranbarger:PT_work
prestontranbarger:PT_work
48m 34s
[StrongPNT]: Log Deriv Zeta Log Squared Estimate Build Project #2706: Pull request #1751 opened by prestontranbarger
56m 8s prestontranbarger:PT_work
prestontranbarger:PT_work
56m 8s
[StrongPNT]: Log Deriv Zeta Log Squared Estimate Auto-label AI-assisted PRs #16: Pull request #1751 opened by prestontranbarger
10s
10s
Chore: bump to v4.33.0 Build Project #2705: Pull request #1747 synchronize by ajirving
52m 48s ajirving:bump433
ajirving:bump433
52m 48s
chore(IK): give the comparison-test lemma its own blueprint label Auto-label AI-assisted PRs #15: Pull request #1750 opened by Chessing234
6s
6s
chore(IK): give the comparison-test lemma its own blueprint label Build Project #2704: Pull request #1750 opened by Chessing234
1h 4m 46s Chessing234:ik-blueprint-label
Chessing234:ik-blueprint-label
1h 4m 46s
feat(IK): prove the three divisor-decomposition lemmas locally Build Project #2703: Pull request #1749 opened by Chessing234
58m 9s Chessing234:ik-divisor-decomposition-proofs
Chessing234:ik-divisor-decomposition-proofs
58m 9s
feat(IK): prove the three divisor-decomposition lemmas locally Auto-label AI-assisted PRs #14: Pull request #1749 opened by Chessing234
6s
6s
feat(IK): prove zeta_pow_four_eq and zeta_pow_three_eq_alt from the Euler-product zeta^3 Auto-label AI-assisted PRs #13: Pull request #1748 edited by Chessing234
8s
8s
feat(IK): prove zeta_pow_four_eq and zeta_pow_three_eq_alt from the Euler-product zeta^3 Build Project #2702: Pull request #1748 synchronize by Chessing234
47m 28s Chessing234:ik-zeta-pow-four-from-euler
Chessing234:ik-zeta-pow-four-from-euler
47m 28s
feat(IK): prove zeta_pow_four_eq and zeta_pow_three_eq_alt from the Euler-product zeta^3 Build Project #2701: Pull request #1748 synchronize by Chessing234
34m 37s Chessing234:ik-zeta-pow-four-from-euler
Chessing234:ik-zeta-pow-four-from-euler
34m 37s
[IK]: Prove zeta_pow_four_eq (IK 1.29) Intentions #312: Issue comment #1690 (comment) created by Chessing234
9s
9s
[IK]: Prove zeta_pow_four_eq (IK 1.29) Awaiting Review #1620: Issue comment #1690 (comment) created by Chessing234
9s
9s
feat(IK): prove zeta_pow_four_eq and zeta_pow_three_eq_alt from the Euler-product zeta^3 Build Project #2700: Pull request #1748 opened by Chessing234
2m 59s Chessing234:ik-zeta-pow-four-from-euler
Chessing234:ik-zeta-pow-four-from-euler
2m 59s
feat(IK): prove zeta_pow_four_eq and zeta_pow_three_eq_alt from the Euler-product zeta^3 Auto-label AI-assisted PRs #12: Pull request #1748 opened by Chessing234
11s
11s
Chore: bump to v4.33.0 Build Project #2699: Pull request #1747 synchronize by ajirving
50m 3s ajirving:bump433
ajirving:bump433
50m 3s
feat(FKS2): certify row 11 small-window numerics (#1729) Build Project #2698: Commit 7715064 pushed by teorth
1h 56m 39s main
main
1h 56m 39s
feat(BKLNW): prove bklnw_table_11_verification as a split-domain θ-bo… Build Project #2697: Commit 497f7e7 pushed by teorth
1h 59m 25s main
main
1h 59m 25s
Chore: bump to v4.33.0 Build Project #2696: Pull request #1747 opened by ajirving
57m 29s ajirving:bump433
ajirving:bump433
57m 29s
Chore: bump to v4.33.0 Auto-label AI-assisted PRs #11: Pull request #1747 opened by ajirving
8s
8s
feat(IK): prove isCompletelyMultiplicative_liouville Intentions #311: Issue comment #1733 (comment) created by Chessing234
10s
10s
feat(IK): prove isCompletelyMultiplicative_liouville Awaiting Review #1619: Issue comment #1733 (comment) created by Chessing234
1s
1s