varosibitmap0.2.10

Lean 4 bitmap utilities with PNG encode/decode support, plus a small widget for visualization.
#graphics #image #bitmap #png
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.28.0

    The math library of Lean 4