varosibitmap0.2.12

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.12
    a month ago
    Released on April 3, 2026 at 6:24:30PM
    Commit 671a08c builds on its old leanprover/lean4:v4.29.0
    v4.29.0
    8.6 MB Build archive size: 8625004 bytes.