Formal methods are not standard practice even in high-assurance software such as medical devices and aircraft.

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.