The title seems quite apt in my opinion. The article describes *a* proof as does...

		seanhunter on Jan 25, 2025 \| parent \| context \| favorite \| on: Anatomy of a Formal Proof 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.