Everyone should be using exclusively a proof assistant (Lean/Agda/Rocq/Isabelle) and proving their code correct, but they're not. Do you see how ridiculous the

Everyone should be using exclusively a proof assistant (Lean/Agda/Rocq/Isabelle) and proving their code correct, but they're not. Do you see how ridiculous the zealotry sounds when its not your personal kind of zealotry?