Practice your Lean 4 in gamified fashion