Skip to content

Actions: honicky/fun-with-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Add product-first Miraomics website with serverless AWS stack Lean Action CI #27: Commit 9776963 pushed by honicky
1h 42m 26s claude/sharp-faraday-gscsyk
claude/sharp-faraday-gscsyk
1h 42m 26s
Ignore Python bytecode cache Lean Action CI #26: Commit cd64bae pushed by honicky
1h 41m 9s claude/kind-noether-fHbJb
claude/kind-noether-fHbJb
1h 41m 9s
Add MathArena per-domain accuracy analysis script Lean Action CI #25: Commit 6a68620 pushed by honicky
1h 42m 26s claude/kind-noether-fHbJb
claude/kind-noether-fHbJb
1h 42m 26s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #24: Pull request #2 synchronize by honicky
1m 48s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1m 48s
V2: auto-discover logs/square_N<n>_run.jsonl (largest N wins); ready … Lean Action CI #23: Commit 5f1bcbf pushed by honicky
1h 33m 51s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 33m 51s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #22: Pull request #2 synchronize by honicky
1m 47s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1m 47s
V2: real Axplorer log + parameterize Act 3 off trajectory constants Lean Action CI #21: Commit 389ee03 pushed by honicky
1h 54m 25s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 54m 25s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #20: Pull request #2 synchronize by honicky
1m 31s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1m 31s
Patch: log n_vertices per JSONL line so trajectory logs are self-desc… Lean Action CI #19: Commit 48ae707 pushed by honicky
1h 57m 7s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 57m 7s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #18: Pull request #2 synchronize by honicky
2m 8s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
2m 8s
Refresh V1 preview video after Act 2 label fix Lean Action CI #17: Commit 0cb8716 pushed by honicky
1h 54m 38s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 54m 38s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #16: Pull request #2 synchronize by honicky
1m 27s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1m 27s
Fix Codex review: scene import path + Act 2 sample-switch FadeOut Lean Action CI #15: Commit d1b1ced pushed by honicky
1h 57m 2s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 57m 2s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #14: Pull request #2 synchronize by honicky
1m 38s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1m 38s
Add pre-rendered V1 preview video (1080p, ~82s) Lean Action CI #13: Commit 7880014 pushed by honicky
1h 54m 57s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 54m 57s
Add Manim visualization for Axplorer Turán C_4 problem solver Lean Action CI #12: Pull request #2 opened by honicky
2m 21s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
2m 21s
Add axplorer-viz: Manim explainer for Axplorer on the Turán C_4 probl… Lean Action CI #11: Commit 84edada pushed by honicky
1h 42m 36s claude/axplorer-turan-visualization-bgbt7
claude/axplorer-turan-visualization-bgbt7
1h 42m 36s
Add quicksort implementations with formal proof and Rust reference Lean Action CI #10: Pull request #1 synchronize by honicky
1m 58s claude/quicksort-rust-lean-proof-qjJCw
claude/quicksort-rust-lean-proof-qjJCw
1m 58s
Use median-of-three pivot in quicksort to avoid worst-case O(n²) Lean Action CI #9: Commit 19a51d8 pushed by honicky
2h 2m 45s claude/quicksort-rust-lean-proof-qjJCw
claude/quicksort-rust-lean-proof-qjJCw
2h 2m 45s
Add quicksort implementations with formal proof and Rust reference Lean Action CI #8: Pull request #1 opened by honicky
1m 45s claude/quicksort-rust-lean-proof-qjJCw
claude/quicksort-rust-lean-proof-qjJCw
1m 45s
Add quicksort implementation in Rust and Lean sortedness proof Lean Action CI #7: Commit ac3dab5 pushed by honicky
1h 57m 51s claude/quicksort-rust-lean-proof-qjJCw
claude/quicksort-rust-lean-proof-qjJCw
1h 57m 51s
Prove hR_vanish and assembly steps in CLT proof (2 sorrys remain) Lean Action CI #6: Commit 277f450 pushed by honicky
2h 1m 35s claude/formalize-mercers-theorem-7R430
claude/formalize-mercers-theorem-7R430
2h 1m 35s
CLT proof nearly complete: only limit and o(s²) sorrys remain Lean Action CI #5: Commit 56f4a2f pushed by honicky
2h 0m 26s claude/formalize-mercers-theorem-7R430
claude/formalize-mercers-theorem-7R430
2h 0m 26s
Build out CLT proof structure with key intermediate steps Lean Action CI #4: Commit 2ef8832 pushed by honicky
2h 0m 39s claude/formalize-mercers-theorem-7R430
claude/formalize-mercers-theorem-7R430
2h 0m 39s
Prove exp Taylor bounds for char fun remainder (3 sorrys remain) Lean Action CI #3: Commit 20ea998 pushed by honicky
1h 41m 30s claude/formalize-mercers-theorem-7R430
claude/formalize-mercers-theorem-7R430
1h 41m 30s