Hacker News new | ask | show | jobs
by satvikpendem 1207 days ago
Are you talking about Miri, or something even stronger?
1 comments
Arnavion 1207 days ago
Miri doesn't do proofs. It only checks the test cases that you run under it.
link
satvikpendem 1207 days ago
Interesting, I wonder if there are any good proof verifiers for Rust.
link