Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: I Made an AI Skill to Help Write Tlaps Proofs
github.com/younes-io
1 point
youio
3 months ago
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 comment yet
Show HN: I Made an AI Skill to Help Write Tlaps Proofs | Heykuki News