Lean Got Better!
Lean has definitely improved in the last couple of years! As I write this, Lean 4.22 is hot off the presses, so let's look at a few of the improvements since 4.0. In Lean, I can define a type of expressions with variables:
Lean has definitely improved in the last couple of years! As I write this, Lean 4.22 is hot off the presses, so let's look at a few of the improvements since 4.0. In Lean, I can define a type of expressions with variables: