Index of /grp/x86_64/sci-mathematics/lean
Name
Last modified
Size
Description
Parent Directory
-
lean-4.2.0-4.xpak
2024-01-22 13:20
156M
lean-4.11.0-4.xpak
2024-12-17 08:11
181M
lean-4.14.0-r1-4.xpak
2025-02-20 21:26
219M
Apache Server at mirror.cnet.kz Port 443