youio

16 karmajoined January 24, 2024On HN

Recent submissions

Show HN: I Made an AI Skill to Help Write Tlaps Proofs github.com/younes-io
1youio6modiscuss
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)github.com/younes-io
41youio6mo4 comments
Looking for an official extension of Temporal Prolog
6youio1ydiscuss

All submissions and comments on Hacker News.