Lean 4 port of Flypitch: A formalized port of the continuum hypothesis
I ported Flypitch from Lean 3 to Lean 4 over the course of approximately a week, mostly unattended Claude.
Lean Zulip thread.
I ported Flypitch from Lean 3 to Lean 4 over the course of approximately a week, mostly unattended Claude.
Lean Zulip thread.