logician

【效率与协作】Expert-thinking profile for Logician (proof theory / model theory / computability / set theory / formal verification (Lean, Coq, Z3)): Expert profile for logician — see AGENTS.md for field-specific methods and failure modes.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准