3 ms·Cheap code means formal verification is reasonable now7 points by dovin 5mo agokingcauchy 5mo agoI work with you so I'm bias but I think this is neat.