Software can be perfect: making provably correct code tractable #1 Post by blainehansen » Wed, Feb 16, 2022, 3:45 PM UTC Software can be perfect: making provably correct code tractableyoutube.com