alokLeanPlot0.2.0

Plotting for Lean 4: a zero-dependency figure/layout core with deterministic SVG and anti-aliased PNG backends
#plotting #visualization #svg #png
Displaying 1-1 of 1 versions of LeanPlot
Sort by
  1. 0.2Version track: 0.2
    0.2.0
    10 days ago
    Released on September 25, 2026 at 7:17:57AM
    Commit bdacc90 builds on its recent leanprover/lean4:v4.35.0-rc3
    v4.35.0-rc3
    36.3 MB Build archive size: 36299393 bytes.