Documentation of the Lean formalization for 'A pretty expressive printer' View the documentation at https://sorawee.github.io/pretty-expressive-lean/Pretty.html