HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by Davidbrcz | Hacker News Reader
Full thread
Davidbrcz
·
That's Event-B (minus the formal side) with LLM
View on HN
No comments yet.