Three ways formally verified code can go wrong in practicebuttondown.com184 pointstodsacerdoti8 months ago