Directory Listing For [/mirrors/calculate/grp/x86_64/sci-mathematics/lean/] – Up To [/mirrors/calculate/grp/x86_64/sci-mathematics]

Name	Size	Last Modified
`lean-4.24.0-4.xpak`	`422501.9 KiB`	`Tue, 09 Jun 2026 22:10:59 GMT`