No results found

Colorized

🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.
Displaying 1-1 of 1 versions of Colorized
Sort by
  1. Not a part of any version track.
    e631ffd
    7 months ago
    Released on May 31, 2024 at 8:52:26PM
    Commit e631ffd builds on its old leanprover/lean4:stable
    stable
    56.8 KB Build archive size: 56778 bytes.