Play
Back
For a more powerful interaction try
Lean 4 Web
.
Loading Editor...
Check Proof
💡 Need a Hint?
Lean InfoView
Run Check Proof to see output (wait time approx 20 seconds)