formal verification

200 Terabyte Proof Demonstrates the Potential of Brute-Force Math

Automated verification finds renewed potential for making algorithms safe.