Hacker Neus
Three ways formally verified code can go wrong in practice
(buttondown.com)
181 points
by todsacerdoti
3 days ago |
113 comments
