Skip to content

Actions: Tomodovodoo/firstproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pr-1 override after PR #1 Lean Action CI #32: Commit 47f5392 pushed by Tomodovodoo
6m 53s main
main
6m 53s
Merge icarm/main (PR #1 content) Lean Action CI #31: Commit 29e53d5 pushed by Tomodovodoo
6m 56s main
main
6m 56s
build issues resolved, previously relied on simple lake env lean on l… Lean Action CI #30: Commit 4c05f8a pushed by Tomodovodoo
6m 59s pr-1
pr-1
6m 59s
fixed CI/CD Lean Action CI #29: Commit 4c19d22 pushed by Tomodovodoo
21m 22s main
main
21m 22s
Complete Problem 9 formalisation Lean Action CI #28: Commit d16e82a pushed by Tomodovodoo
1m 35s main
main
1m 35s
Update problem9: restructure to standard Lean layout and complete for… Lean Action CI #27: Commit ed3d24d pushed by Tomodovodoo
19m 38s main
main
19m 38s
Cleaned up repository and artifacts of other people+changed namings Lean Action CI #26: Commit fdc5303 pushed by Tomodovodoo
1m 36s main
main
1m 36s
problem9 fully formalized in lean Lean Action CI #25: Commit 304f95a pushed by Tomodovodoo
2m 24s main
main
2m 24s
output.lean is completely done! Lean Action CI #24: Commit 89c5e0f pushed by Tomodovodoo
2m 27s main
main
2m 27s
gemini on yolo Lean Action CI #23: Commit 2679774 pushed by Tomodovodoo
2m 15s main
main
2m 15s
Best progress so far with shit gemini Lean Action CI #22: Commit ec3a949 pushed by Tomodovodoo
2m 11s main
main
2m 11s
retry gemini Lean Action CI #21: Commit f94965d pushed by Tomodovodoo
2m 22s main
main
2m 22s
minor removal Lean Action CI #20: Commit 1aef770 pushed by Tomodovodoo
2m 11s main
main
2m 11s
Final h_strong solution attempt Lean Action CI #19: Commit 039e4d7 pushed by Tomodovodoo
2m 28s main
main
2m 28s
Renamed to problem9_solution.lean and cleaned up redundant files Lean Action CI #18: Commit 6779024 pushed by Tomodovodoo
2m 11s main
main
2m 11s
Update Aristotle_Solution_Attempt.lean with solved proof Lean Action CI #17: Commit 18f9cb5 pushed by Tomodovodoo
2m 31s main
main
2m 31s
Cleanup metadata comments in Lean solution file Lean Action CI #16: Commit a6abb91 pushed by Tomodovodoo
2m 24s main
main
2m 24s
Implement rigidity lemma and update genericity assumptions in Lean proof Lean Action CI #15: Commit af58e9d pushed by Tomodovodoo
2m 12s main
main
2m 12s
Refine Problem 9 solution attempt and add TikZ diagram resources Lean Action CI #14: Commit 7735ade pushed by Tomodovodoo
2m 15s main
main
2m 15s
Include untracked files and reflect deletions Lean Action CI #13: Commit 710bc62 pushed by Tomodovodoo
2m 20s main
main
2m 20s
Update Lean formalization and solution for Problem 9 Lean Action CI #12: Commit d06b868 pushed by Tomodovodoo
2m 28s main
main
2m 28s
Update to After Opus, cleanup, partial formalisation done Lean Action CI #11: Commit 233ffec pushed by Tomodovodoo
2m 24s main
main
2m 24s
Opus 4.6 run terminated due to no usage Lean Action CI #10: Commit f62d6d6 pushed by Tomodovodoo
2m 11s main
main
2m 11s
Small update+aristotle run Lean Action CI #9: Commit 360cc58 pushed by Tomodovodoo
2m 10s main
main
2m 10s
Problem9: use actual 5x5 minors map and prove totalDegree ≤ 5 Lean Action CI #8: Commit 58f6ba0 pushed by Tomodovodoo
2m 20s main
main
2m 20s