Hacker News new | ask | show | jobs
Our formal methods tool can be a company – because of AI (quint.sh)
8 points by bugarela 63 days ago