職業分類
ソフトウェア品質保証アナリスト・テスター
説明
Use when running the experimental Lean formal-proof harness, validating machine-checked proof candidates, benchmarking playbook transfer, or invoking the pi-autocontext-lean-verify package. Triggers: Lean proof repair, formal proof, theorem proving,…
原文の言語: 英語
更新