user: youio

15 karma | created 2 years ago

recent submissions

(no title)

4 days ago|discuss

Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com)

1 pts|4 days ago|discuss

(no title)

8 days ago|discuss

Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com)

41 pts|8 days ago|4 comments

(no title)

14 days ago|discuss

Looking for an official extension of Temporal Prolog

6 pts|10 months ago|discuss

(no title)

10 months ago|discuss

(no title)

1 year ago|discuss

(no title)

1 pts|2 years ago|discuss

(no title)

1 pts|2 years ago|discuss