youio

Karma: 15
Created: 2 years ago

Recent Submissions

1. ▲ Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com) 1 point · 2 months ago · 0 comments
2. ▲ Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com) 41 points · 2 months ago · 4 comments
3. ▲ Looking for an official extension of Temporal Prolog 6 points · 1 year ago · 0 comments

All submissions on HN · View profile on HN