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
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... |