also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether
Why not just contribute to an open source project?
Lean the language?
Why not just contribute to an open source project?