Show HN: I Made an AI Skill to Help Write Tlaps Proofs

1 points by youio 3 months ago · 0 comments · 1 min read

One-shot prompt: "$tlaps-workbench Model simplified Raft leader election (terms, votes). Prove leader uniqueness per term and monotonic term growth."

TLAPS Proof: https://github.com/younes-io/tlaplus-workbench-examples/blob...

No comments yet.