schergen-orgleansi1.2.0

Leansi is a Lean Library for terminal formatting.
Displaying 1-4 of 4 versions of leansi
Sort by
  1. 1.xVersion track: 1.x
    1.2.0
    7 days ago
    Released on March 22, 2026 at 2:17:52PM
    Commit a4524ce builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    1.2 MB Build archive size: 1196326 bytes.
  2. 1.xVersion track: 1.x
    1.1.0
    v1.2.0
    12 days ago
    Released on March 17, 2026 at 10:08:45AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  3. 1.xVersion track: 1.x
    1.1.0
    v1.1.0
    17 days ago
    Released on March 12, 2026 at 3:24:24PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  4. 1.xVersion track: 1.x
    1.0.0
    v1.0.0
    19 days ago
    Released on March 10, 2026 at 1:47:39PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0