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