Post History
Lean is an interactive theorem prover and a functional programming language created in 2013. What tips do you have for golfing in Lean? Tips should be specific to Lean ("remove comments" is not an...
#1: Initial revision
by
CrSb0001
·
2025-04-10T15:11:10Z (5 days ago)
Tips for golfing in Lean
[Lean] is an interactive theorem prover and a functional programming language created in 2013.
What tips do you have for golfing in Lean? Tips should be specific to Lean ("remove comments" is not an answer), and stick to one tip per answer.
[Lean]:https://lean-lang.org/