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