3 ms·
This is not true. If the right abstractions are used, proofs in Lean for example can be quite readable and concise.
by golol 2y ago
This is not true. If the right abstractions are used, proofs in Lean for example can be quite readable and concise.