varosibitmap0.2.10

Lean 4 bitmap utilities with PNG encode/decode support, plus a small widget for visualization.
#graphics #image #bitmap #png
Displaying 1-1 of 1 versions of bitmap
Sort by
  1. 0.2Version track: 0.2
    0.2.10
    a month ago
    Released on February 27, 2026 at 6:39:10PM
    Commit 5d0edc5 builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    7.5 MB Build archive size: 7531330 bytes.