A Vision for a Rust Formal Specification #1 Post by emschwartz » Tue, Jun 16, 2026, 4:38 PM UTC A Vision for a Rust Formal Specificationnadrieril.github.io