3 ms·
What do you mean by dressing it up as a theorem? It is a theorem because there's a proof for it.
by FartyMcFarter 2y ago
What do you mean by dressing it up as a theorem? It is a theorem because there's a proof for it.
- Tainnor 2y agoFor example, here's a formally verified proof in Lean: https://github.com/leanprover-community/mathlib4/blob/12473136ebd2e811c9c929c11522af5a32d603fb/Mathlib/Computability/Halting.lean#L219-L234 https://github.com/leanprover-community/mathlib4/blob/124731...