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