Hacker News new | ask | show | jobs
AWS Challenges – Verifying the Rust standard library (model-checking.github.io)
2 points by febin 336 days ago