Cheap code means formal verification is reasonable now

 (antfly.io)

7 points | by dovin 12 hours ago ago

1 comments

  • kingcauchy 12 hours ago ago

    I work with you so I'm bias but I think this is neat.