☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (14)
rMT4
The Riemann mapping theorem
Displaying
1-1
of
1
versions of
rMT4
Sort by
Date
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.
1
20