WingNews logo WingNews
top | new | best | ask | show | jobs
top | item 47162576

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

1 points| youio | 5 days ago |github.com

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

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com