No results found

foundation

Lean4 Logic Formalization
Displaying 1-1 of 1 versions of foundation
Sort by
  1. Not a part of any version track.
    94d1821
    6 days ago
    Released on February 16, 2025 at 7:52:14PM
    Commit 94d1821 builds on its recent leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    37.3 MB Build archive size: 37267518 bytes.