メニュー
SkillsMP は specula-org/tlaps-bench から 3 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 3 件中 3 件を表示しています。
Audit TLAPS Bench proof-completion tasks and cohorts for task integrity, theorem provability evidence, answer leakage, source-reference quality, difficulty signals, stale run artifacts, and model failure causes. Use when reviewing TLAPS task quality, trimming…
原文の言語: 英語
Validate candidate inductive invariants for TLA+ safety proofs with Apalache or TLC. Use when designing or debugging an invariant, especially when TLAPS cannot discharge initiation, consecution, or safety-implication obligations.
原文の言語: 英語
Resolve TLAPS proof failures involving theorem instances from modules with assumptions. Use when a citation such as BY I!Thm does not close a goal because prefixed and unprefixed imported operators are treated as different symbols.
原文の言語: 英語