Hacker News new | ask | show | jobs
A Vision for a Rust Formal Specification (nadrieril.github.io)
1 points by emschwartz 43 days ago