Broken proofs and broken provers (via gerikson) — discussion

#math