Hacker News new | ask | show | jobs
Lean Squad: Exploring Automated Software Verification W Near-Zero Human Labour (dsyme.net)
1 points by spooneybarger 57 days ago