3 ms·Lean Squad: Exploring Automated Software Verification W Near-Zero Human Labour1 points by spooneybarger 6mo ago