A Lean4 library designed to enhance the appearance of terminal output using ANSI escape sequences.
Add Colorized to your lakefile.lean:
require Colorized from git "https://github.com/axiomed/Colorized.lean.git"Repository navigation
forked from algebraic-dev/colorized
Â
Â
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||