Index of /calculate/grp/x86_64/sci-mathematics/lean/
Name
Size
Date
📁 ../
-
-
📄 lean-4.14.0-r1-4.xpak
229243327 bytes
2025-05-28 15:34:51
📄 lean-4.24.0-4.xpak
432641966 bytes
2026-06-09 22:10:59