undefined | Better HN

0 pointssatvikpendem3y ago0 comments

Are you talking about Miri, or something even stronger?

0 comments

2 comments · 1 top-level

Arnavion3y ago· 1 in thread

Miri doesn't do proofs. It only checks the test cases that you run under it.

Interesting, I wonder if there are any good proof verifiers for Rust.

j / k navigate · click thread line to collapse