vbeffararMT4

The Riemann mapping theorem
Displaying 1-1 of 1 versions of rMT4
Sort by
  1. Not a part of any version track.
    69a9efe
    a month ago
    Released on January 10, 2026 at 9:55:43PM
    Commit 69a9efe builds on its old leanprover/lean4:v4.26.0
    v4.26.0
    2.3 MB Build archive size: 2287732 bytes.