Reservoir
No results found
All Packages
Colorized
🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.
Readme
Versions (1)
Dependencies (3)
Displaying
1-1
of
1
versions of
Colorized
Sort by
Date
Not a part of any version track.
e631ffd
4 months ago
Released on May 31, 2024 at 8:52:26PM
Commit e631ffd builds on its old leanprover/lean4:stable
stable
57.9 KB
Build archive size: 57936 bytes.
1
20