Directory Listing For [/mirrors/calculate/grp/x86_64/sci-mathematics/lean/] -
Up To [/mirrors/calculate/grp/x86_64/sci-mathematics]
Filename
Size
Last Modified
lean-4.14.0-r1-4.xpak
223870.4 kb
Thu, 20 Feb 2025 18:26:50 GMT