Three ways “formally verified” can go wrong
Comments ⌘ Read more