# Reducing eye friction - Good code formatting style minimizes visual fatigue by guiding the eye naturally to regions on the code screen that cluster information. - The need to jump around the Lean coding screen, in particular between the code and the infoview, can be minimized by using explicit typing whenever this is allowed by the Lean syntax. - The cognitive load of reading code can be reduced by: - using column alignment so that a vertical spreadsheet-like comparison of similar concepts can be visualized more easily. - consistent indenting that implies a nested scoping in both the code and the comments.