Welcome to the Lean category. This is a space to ask any Lean questions, discuss exercises from the Exercism Lean track, or explore any other Lean-related conversations!
1 Like
Welcome to the Lean category. This is a space to ask any Lean questions, discuss exercises from the Exercism Lean track, or explore any other Lean-related conversations!