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...
TLAPS Proof: https://github.com/younes-io/tlaplus-workbench-examples/blob...