Cheap code means formal verification is reasonable now #1 Post by dovin » Thu, May 21, 2026, 10:14 PM UTC Cheap code means formal verification is reasonable nowantfly.io
Re: Cheap code means formal verification is reasonable now #2 Post by kingcauchy » Thu, May 21, 2026, 10:45 PM UTC I work with you so I'm bias but I think this is neat.