PhD Student @ RPI, Writer of Tidbits, and Linux Enthusiast
Here you'll find 2 posts about Lean.
Same as Q6509476, software for interactive and automated theorem proving.
2025
Flattening Cases to Avoid Nesting in Lean 4
Quick Lean: if-then-else statement in hypothesis
