Y Hacker News new | ask | show | jobs

user: youio created: 2024-01-24 karma: 16 submissions: 0 points | 0 comments 0 points | 0 comments Show HN: I Made an AI Skill to Help Write Tlaps Proofs 1 points | 0 comments 0 points | 0 comments Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) 41 points | 4 comments 0 points | 0 comments Looking for an official extension of Temporal Prolog 6 points | 0 comments 0 points | 0 comments 0 points | 0 comments