2 ms·

Had we a slick method of formalizing proofs for computer verification, no polemics would be possible.

• Koshkin 7y ago
  Good point; was it not possible in this case?