Hacker News new | ask | show | jobs
by TeamDman 537 days ago
Is this the AWS thing you referenced? https://aws.amazon.com/what-is/automated-reasoning/
1 comments
Flenkno 533 days ago
yes
link