2 Commits

Author	SHA1	Message	Date
claude-bot	a3021d9c39	docs: note Lean 4.35.0 as the verified toolchain ... 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
codex-bot	a54bd57fbd	Implement provider-neutral Lean reasoning and evaluation foundation	2026-09-15 19:15:05 +08:00