Colorized.lean A Lean4 library designed to enhance the appearance of terminal output using ANSI escape sequences. Usage Add Colorized to your lakefile.lean: require Colorized from git "https://github.com/axiomed/Colorized.lean.git"