7 ms·Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes2 points by gavinhoward 9mo ago