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"| Name | Name | Last commit date | ||
|---|---|---|---|---|
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
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"