직업 분류
소프트웨어 품질 보증 분석가·테스터
설명
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,…
원문 언어: 영어
업데이트