lean-agent

Author	SHA1	Message	Date
codex-bot	23f1925cc0	ci: restrict workflows to main branch	2026-10-30 03:44:01 +08:00
claude-bot	a3021d9c39	docs: note Lean 4.35.0 as the verified toolchain ci / test (push) Successful in 1m15s Details Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6	2026-10-21 11:33:07 +00:00
claude-bot	9e983edaa7	ci: test on the ubuntu24.04-x64-lean4.35 runner; move to Lean 4.35.0 ci / test (push) Successful in 9s Details Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6	2026-10-21 10:58:41 +00:00
codex-bot	a54bd57fbd	Implement provider-neutral Lean reasoning and evaluation foundation	2026-09-15 19:15:05 +08:00