No results found

Foundation

Formalization of Mathematical Logic
Displaying 1-1 of 1 versions of Foundation
Sort by
  1. Not a part of any version track.
    7e83d56
    2 days ago
    Released on June 13, 2025 at 11:27:54AM
    Commit 7e83d56 builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    67.8 MB Build archive size: 67849073 bytes.