leanproverlean4export

Plain-text declaration export for Lean 4
Displaying 1-1 of 1 versions of lean4export
Sort by
  1. Not a part of any version track.
    3245035
    20 hours ago
    Released on October 22, 2025 at 7:17:10PM
    Commit 3245035 builds on its recent leanprover/lean4:v4.25.0-rc2
    v4.25.0-rc2
    62.6 MB Build archive size: 62576917 bytes.