Being able to prove theorems makes SMT solvers absolutely indispensable to formal verification.

Drawn from what Hillel Wayne said

What this subject means

formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.

What Hillel Wayne actually said

Do you hold this korrent?Do you also believe this?

Shared subject first, then similar wording. They may agree or disagree.