FormalizedFormalLogicFoundation

Formalization of Mathematical Logic
Displaying 1-1 of 1 versions of Foundation
Sort by
  1. Not a part of any version track.
    de3330b
    4 hours ago
    Released on July 30, 2025 at 11:52:42AM
    Commit de3330b builds on its recent leanprover/lean4:v4.22.0-rc4
    v4.22.0-rc4
    70.8 MB Build archive size: 70825409 bytes.