G github.com Make formal verification and provably correct software practical and mainstream 204 points _pyqs 4 years ago 191 comments
