This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Cryspen
cryspen.com
did:plc:aijjn3envca7draesd656w6e
Excited to share our latest work on formally verifying the Rust standard library! We developed a new methodology to specify and test the Rust core library, helping to find and fix a bug in Rust's platform-specific SIMD functions.
Learn more about our approach: buff.ly/IwMkWVm
https://cryspen.com/post/specify-rust-simd/
2025-10-29T09:47:34.057Z