Skip to content

Actions: flouzzy/smale-problems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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(smale-18): expand learning theory monograph to 17 pages with cer… Smale Problems CI #23: Commit ab342ba pushed by charlesen
2m 34s main
main
2m 34s
ci: add automated PR auto-merge workflow Smale Problems CI #22: Commit 600e465 pushed by charlesen
2m 33s main
main
2m 33s
feat(jacobian): formalize Yagzhev cubic tree inversion and clean comp… Smale Problems CI #21: Commit 2b25d24 pushed by charlesen
2m 19s main
main
2m 19s
docs(preprints): expand Smale #04, #06, #07 to 8-10 page monographs w… Smale Problems CI #20: Commit 18394b6 pushed by charlesen
2m 40s main
main
2m 40s
docs(agents): formalize pure academic math publishing standards and T… Smale Problems CI #19: Commit 57f9f63 pushed by charlesen
2m 49s main
main
2m 49s
refactor(monographs): align formatting strictly with pure academic ma… Smale Problems CI #18: Commit e4e624e pushed by charlesen
6h 0m 54s main
main
6h 0m 54s
feat(monographs): add prominent Q.E.D. Halmos markers and Executive S… Smale Problems CI #17: Commit a702411 pushed by charlesen
6h 0m 57s main
main
6h 0m 57s
feat(graphics): enrich research monographs with TikZ tree diagrams, c… Smale Problems CI #16: Commit fa8b4d8 pushed by charlesen
6h 0m 45s main
main
6h 0m 45s
feat(smale-18): publish 8-page research monograph on limits of intell… Smale Problems CI #15: Commit 0373d74 pushed by charlesen
6h 2m 39s main
main
6h 2m 39s
feat(smale-05): publish 9-page research monograph on Diophantine heig… Smale Problems CI #14: Commit aa054b0 pushed by charlesen
6h 1m 0s main
main
6h 1m 0s
feat(smale-09): publish 9-page research monograph on strongly polynom… Smale Problems CI #13: Commit b82d624 pushed by charlesen
6h 0m 49s main
main
6h 0m 49s
docs(agents): update peer-review academic monograph and Lean 4 standards Smale Problems CI #12: Commit b53afc7 pushed by charlesen
6h 1m 7s main
main
6h 1m 7s
feat(smale-16): expand master monograph on Jacobian Conjecture to 10 … Smale Problems CI #11: Commit d602d84 pushed by charlesen
6h 1m 6s main
main
6h 1m 6s
docs: remove stylistic labels and enforce direct pedagogical rigor gu… Smale Problems CI #10: Commit 36a85ea pushed by charlesen
6h 1m 7s main
main
6h 1m 7s
docs(rules): persist learned guidelines for Lean 4 tactics, disk mana… Smale Problems CI #9: Commit 862f98c pushed by charlesen
16m 27s main
main
16m 27s
fix(lean4): replace decide with norm_num for exact rational arithmeti… Smale Problems CI #8: Commit 4ae90fa pushed by charlesen
6h 0m 47s main
main
6h 0m 47s
fix(smale-16): use CommRing for algebraic polynomial inversion and re… Smale Problems CI #7: Commit f8de1cf pushed by charlesen
2m 18s main
main
2m 18s
feat(preprints): add comprehensive 6-page monograph, Zenodo presentat… Smale Problems CI #6: Commit 8acd19f pushed by charlesen
2m 17s main
main
2m 17s
fix(smale-04): ensure formal Lean 4 verification and updated monograp… Smale Problems CI #5: Commit b39cada pushed by charlesen
11m 26s main
main
11m 26s
feat(taxonomy): enforce tripartite organization (resolved/, preprints… Smale Problems CI #4: Commit 1ca433f pushed by charlesen
6h 0m 44s main
main
6h 0m 44s
Update README.md Smale Problems CI #3: Commit 160afde pushed by charlesen
6h 0m 54s main
main
6h 0m 54s
chore(git): untrack .lake cache directory and update .gitignore Smale Problems CI #2: Commit ee0c813 pushed by charlesen
6h 0m 58s main
main
6h 0m 58s
feat(init): initial repository setup for Smale's 18 Problems with Lea… Smale Problems CI #1: Commit 1000007 pushed by charlesen
2m 4s main
main
2m 4s