varosibitmap0.10.0

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.10Version track: 0.10
    0.10.0
    16 days ago
    Released on September 10, 2026 at 11:44:32AM
    Commit 60e33fe builds on its old leanprover/lean4:v4.32.2
    v4.32.2
    28.1 MB Build archive size: 28135656 bytes.