Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Three ways formally verified code can go wrong in practice
buttondown.com
184 points
todsacerdoti
8 months ago
113 comments
Loading...
Three ways formally verified code can go wrong in practice | Heykuki News