> is static analysis really more powerful than the Rust type system + borrow checker? Yes, and by far. A theorem prover, as the name suggests, can be used to p

> is static analysis really more powerful than the Rust type system + borrow checker? Yes, and by far. A theorem prover, as the name suggests, can be used to prove algorithmic correctness of your code.