Comment by cuebits

also math puzzles - lean seems like a good way to get back into by hand programming, problem solving and math altogether