Skip to content

Actions: AlexKontorovich/PrimeNumberTheoremAnd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,969 workflow runs
5,969 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Propose PR #786: Issue comment #675 (comment) created by crushil
9s
9s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Claim Issue #786: Issue comment #675 (comment) created by crushil
1s
1s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Withdraw PR #786: Issue comment #675 (comment) created by crushil
1s
1s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Awaiting Review #786: Issue comment #675 (comment) created by crushil
1s
1s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Disclaim Issue #786: Issue comment #675 (comment) created by crushil
1s
1s
feat(FKS2): Modify and Prove theorem_3 Build Project #1324: Pull request #1102 opened by crushil
25m 36s crushil:675
crushil:675
25m 36s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Propose PR #785: Issue comment #675 (comment) created by crushil
1s
1s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Withdraw PR #785: Issue comment #675 (comment) created by crushil
1s
1s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Awaiting Review #785: Issue comment #675 (comment) created by crushil
1s
1s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Claim Issue #785: Issue comment #675 (comment) created by crushil
12s
12s
[FKS2]: Converting an error bound for theta to an error bound for pi (Theorem 3) Disclaim Issue #785: Issue comment #675 (comment) created by crushil
1s
1s
github_actions in /. - Update #1270805055 Dependabot Updates #12: by dependabot bot
38s main
main
38s
add Trudgian results (#1101) Build Project #1323: Commit df2adb4 pushed by teorth
2h 34m 50s main
main
2h 34m 50s
add Trudgian results Build Project #1322: Pull request #1101 synchronize by teorth
27m 17s trudgian
trudgian
27m 17s
add Trudgian results Build Project #1321: Pull request #1101 synchronize by teorth
24m 49s trudgian
trudgian
24m 49s
feat(IwaniecKowalskiCh1): prove unique_divisor_decomposition, sum_divisors_mul_of_coprime, LSeries_d_summable, d_isMultiplicative, d_apply_prime_pow, d_apply, LSeries_sigma_eq_riemannZeta_mul Build Project #1320: Pull request #1039 synchronize by pitmonticone
42m 55s aristotle/iwaniec-kowalski-ch1
aristotle/iwaniec-kowalski-ch1
42m 55s
add Trudgian results Build Project #1319: Pull request #1101 opened by teorth
23m 19s trudgian
trudgian
23m 19s
Modify and prove theorem_6_3 (#1100) Build Project #1318: Commit 59121af pushed by teorth
2h 35m 21s main
main
2h 35m 21s
[FKS2]: Second bound on the integral of 1/log^2 t (Theorem 6, substep 3) Claim Issue #784: Issue comment #717 (comment) created by crushil
1s
1s
[FKS2]: Second bound on the integral of 1/log^2 t (Theorem 6, substep 3) Propose PR #784: Issue comment #717 (comment) created by crushil
9s
9s
[FKS2]: Second bound on the integral of 1/log^2 t (Theorem 6, substep 3) Awaiting Review #784: Issue comment #717 (comment) created by crushil
2s
2s
[FKS2]: Second bound on the integral of 1/log^2 t (Theorem 6, substep 3) Withdraw PR #784: Issue comment #717 (comment) created by crushil
1s
1s
[FKS2]: Second bound on the integral of 1/log^2 t (Theorem 6, substep 3) Disclaim Issue #784: Issue comment #717 (comment) created by crushil
2s
2s
feat(FKS2): Modify and prove theorem_6_3 Build Project #1317: Pull request #1100 opened by crushil
28m 36s crushil:717
crushil:717
28m 36s
[FKS2]: Second bound on the integral of 1/log^2 t (Theorem 6, substep 3) Disclaim Issue #783: Issue comment #717 (comment) created by crushil
1s
1s