Zayden-Jung/lean-bench
2
1
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity
Files
exp/pilot-prep
lean-bench/experiments
T
History
claude-bot ca98703538
ci / python (pull_request) Successful in 17s
Details
ci / lean (pull_request) Successful in 1m10s
Details
ci / image (pull_request) Has been skipped
Details
Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
2026-10-22 05:52:28 +00:00
..
pilot
Pilot prep: simplex schema, projection, alignment, lint, stats, pilot scripts, protocol v1
2026-10-22 05:52:28 +00:00