Cheap code means formal verification is reasonable now(antfly.io)
5 pointsby dovin4 hours ago1 comment
  • kingcauchy3 hours ago
    I work with you so I'm bias but I think this is neat.