Cheap code means formal verification is reasonable now

1 comments

• kingcauchy 10 hours ago

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