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"
Colorized
🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.