As I said, it's a continuum. I'm drawing the line somewhere further along it than Rust's type system.
Understood. In dynamic verification, does that same line hold? Or would you say it is it unique to formal verification? If so, why?
alt Hacker News
Understood. In dynamic verification, does that same line hold? Or would you say it is it unique to formal verification? If so, why?