3 ms·

Normal math also concisely cites pre-existing theorems

• infogulch 3y ago
  Ah but normal math is a social compact in a way that computer-aided proofs are not. Very few handwritten proofs are actually written down in detail, and there are various cases where attempting to do so actually failed or required new work to actually close the gap.
• trenchgun 3y ago
  Proof assistants assist with normal math. They just make the normal formal and realiable.