☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (3)
Colorized
🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Not found on Reservoir.
Specs
0bb30e2
1
20