|
|
|
|
|
|
by seanhunter
503 days ago
|
|
|
The title seems quite apt in my opinion. The article describes a proof as does the title. It doesn’t claim that all proofs are like this. The title isn’t “The anatome of formal proofs” or “all formal proofs” or anything similar. |
|
|