Skip to content

Actions: flouzzy/erdos-problems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
chore(preprints): recompile Cameron-Erdos sum-free PDF Math & Lean 4 CI #66: Commit 643a87c pushed by charlesen
7m 24s main
main
7m 24s
fix(lean): verify ErdosGinzburgZiv and all 5 new conjectures with 0 s… Math & Lean 4 CI #65: Commit 2c7ae47 pushed by charlesen
15m 12s main
main
15m 12s
fix(erdos-straus): align TeX triplet (ab, acn, bcn) with Lean 4, add … Math & Lean 4 CI #64: Commit 82094cf pushed by charlesen
3m 13s main
main
3m 13s
docs(preprints): enrich Erdős #11, #04, #35, #68 to 8-page monographs… Math & Lean 4 CI #63: Commit 04fbef9 pushed by charlesen
3m 42s main
main
3m 42s
docs(agents): formalize pure academic math publishing standards and T… Math & Lean 4 CI #62: Commit d2ae66c pushed by charlesen
3m 32s main
main
3m 32s
docs(agents): update peer-review academic monograph and Lean 4 standards Math & Lean 4 CI #61: Commit 75959bb pushed by charlesen
3m 46s main
main
3m 46s
docs: remove stylistic labels and enforce direct pedagogical rigor gu… Math & Lean 4 CI #60: Commit 0bab8b5 pushed by charlesen
4m 1s main
main
4m 1s
docs(rules): persist learned guidelines for Lean 4 tactics, disk mana… Math & Lean 4 CI #59: Commit b4183b7 pushed by charlesen
21m 0s main
main
21m 0s
chore(git): untrack .lake cache directory and update .gitignore Math & Lean 4 CI #58: Commit d7c4b78 pushed by charlesen
6h 0m 31s main
main
6h 0m 31s
chore(refactor): migrate Smale problems to dedicated smale-problems r… Math & Lean 4 CI #57: Commit 5a25542 pushed by charlesen
7m 24s main
main
7m 24s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #56: Commit e319b0d pushed by charlesen
4m 55s main
main
4m 55s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #55: Commit ca23693 pushed by charlesen
4m 21s main
main
4m 21s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #54: Commit 9c9f717 pushed by charlesen
3m 17s main
main
3m 17s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #53: Commit 20c5f30 pushed by charlesen
14m 20s main
main
14m 20s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #52: Commit 6f6008d pushed by charlesen
3m 41s main
main
3m 41s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #51: Commit 93e2338 pushed by charlesen
12m 1s main
main
12m 1s
fix(preprints): update listing and robust proof in ErdosPrimeFactorsC… Math & Lean 4 CI #50: Commit ad1a850 pushed by charlesen
2h 53m 29s main
main
2h 53m 29s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #49: Commit a71bba3 pushed by charlesen
3m 13s main
main
3m 13s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #48: Commit 0a3bf9d pushed by charlesen
3m 37s main
main
3m 37s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #47: Commit 72c141e pushed by charlesen
3m 12s main
main
3m 12s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #46: Commit 81de913 pushed by charlesen
9m 48s main
main
9m 48s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #45: Commit 37eded4 pushed by charlesen
10m 18s main
main
10m 18s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #44: Commit 386bbdd pushed by charlesen
3m 46s main
main
3m 46s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #43: Commit ce743f2 pushed by charlesen
3m 22s main
main
3m 22s
feat(preprints): add comprehensive monograph, Zenodo presentation, an… Math & Lean 4 CI #42: Commit 4161612 pushed by charlesen
3m 16s main
main
3m 16s