Play
Back
For a more powerful interaction try
Lean 4 Web
.
Loading Editor...
Check Proof
💡 Need a Hint?
Lean InfoView
Run check to see output.