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