Cheap code means formal verification is reasonable now

(antfly.io)

5 points | by dovin 37 minutes ago

1 comments