Hacker News new | ask | show | jobs
Quint LLM Kit for writing and using formal specifications (github.com)
11 points by bugarela 115 days ago