algebraic-devColorized

🌈 | 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
    a year ago
    Released on May 31, 2024 at 8:52:26PM
    Commit e631ffd builds on its old leanprover/lean4:stable
    stable
    58.3 KB Build archive size: 58320 bytes.