sdiehlZeroToQED

From Zero to QED: An informal introduction to formality with Lean 4
Displaying 1-1 of 1 versions of ZeroToQED
Sort by
  1. Not a part of any version track.
    833a206
    8 hours ago
    Released on January 5, 2026 at 11:27:01AM
    Commit 833a206 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    173.2 MB Build archive size: 173246815 bytes.