1Show HN: I Made an AI Skill to Help Write Tlaps Proofs (opens in new tab)(github.com)GitHub1youio4mo ago0Save
2Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (opens in new tab)(github.com)GitHub41youio4mo ago4Save
3Looking for an official extension of Temporal PrologI'm looking for an official extension of prolog that has temporal logicshow more6youio1y ago0Save
