Hacker News new | ask | show | jobs
by satvikpendem 1204 days ago
Interesting, I wonder if there are any good proof verifiers for Rust.