Unpopular opinion: mathematics is a liberal art. Consensus in the mathematical community is the test of acceptance, not formal verification. "Formal verificat

Unpopular opinion: mathematics is a liberal art. Consensus in the mathematical community is the test of acceptance, not formal verification. "Formal verification" rests on assumptions, of axioms and proof techniques, that it cannot verify.