Make formal verification and provably correct software practical and mainstreamgithub.com/magmide204 points_pyqs4 years ago