Cheap code means formal verification is reasonable now antfly.io 7 points by dovin 22 days ago · 1 comment Reader PiP Save kingcauchy 22 days ago I work with you so I'm bias but I think this is neat.