arademakervizagrams

A visualization library for Lean
Displaying 1-1 of 1 versions of vizagrams
Sort by
  1. Not a part of any version track.
    ea1bfe3
    6 months ago
    Released on October 9, 2025 at 3:23:09PM
    Commit ea1bfe3 builds on its old leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    2.6 MB Build archive size: 2560522 bytes.