Cheap code means formal verification is reasonable now

 (antfly.io)

5 points | by dovin 37 minutes ago

1 comments