Hacker News new | ask | show | jobs
Hax: Verifying Security-Critical Rust Software Using Multiple Provers (eprint.iacr.org)
2 points by forks 152 days ago