Skip to content

Actions: Steven-Rossi/PrimeNumberTheoremAnd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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(CH2): fix and prove S_eq_I (#1001) Build Project #12: Commit 27ffd1e pushed by Steven-Rossi
2h 0m 28s main
main
2h 0m 28s
feat (eSHP) proved theorem table_8_prime_gap_test (#927) Build Project #11: Commit b3f864a pushed by Steven-Rossi
2h 16m 41s main
main
2h 16m 41s
Chebyshev (#828) Create Release #3: Commit 629b1e9 pushed by Steven-Rossi
12s main
main
12s
Chebyshev (#828) Build Project #10: Commit 629b1e9 pushed by Steven-Rossi
2h 15m 46s main
main
2h 15m 46s
prove mobius lemma 2 (#814) Build Project #9: Commit 7ebcc68 pushed by Steven-Rossi
1h 11m 9s main
main
1h 11m 9s
fix(BKLNW_app_tables): fix def table_8_ε' (#810) Create Release #2: Commit 478723c pushed by Steven-Rossi
12s main
main
12s
fix(BKLNW_app_tables): fix def table_8_ε' (#810) Build Project #8: Commit 478723c pushed by Steven-Rossi
1h 14m 54s main
main
1h 14m 54s
add a bit of explanatory text to what FKS2 is doing (#732) Build Project #7: Commit e80706e pushed by Steven-Rossi
1h 9m 25s main
main
1h 9m 25s
feat(FKS2): Equation 17 (#706) Build Project #6: Commit 8dcc7d0 pushed by Steven-Rossi
1h 8m 50s main
main
1h 8m 50s
fix(BKLNW): fix proof of prop_3_sub_8 Build Project #5: Commit e56f955 pushed by Steven-Rossi
1h 10m 10s main
main
1h 10m 10s
feat(Costa): fix sublemma_1_8, prove theorem_1b (#696) Build Project #4: Commit 8cf6a20 pushed by Steven-Rossi
1h 6m 56s main
main
1h 6m 56s
fix sign error in main theorem of erdos392 (#647) Build Project #3: Commit 3787a62 pushed by Steven-Rossi
1h 8m 9s main
main
1h 8m 9s
fix sign error in main theorem of erdos392 (#647) Create Release #1: Commit 3787a62 pushed by Steven-Rossi
9s main
main
9s
feat(Erdos392): prove mobius_lemma_2_sub_2 (#557) Build Project #2: Commit 1d37009 pushed by Steven-Rossi
1h 1m 18s main
main
1h 1m 18s
feat(Erdos392): prove bound_score_3 (#536) Build Project #1: Commit 96e23b1 pushed by Steven-Rossi
1h 7m 55s main
main
1h 7m 55s