Welcome to NYCU CSIT Mirror site

Index of /gentoo/gentoo-portage/sci-mathematics/lean/

../
Manifest                                           04-Jul-2026 14:08                 905
lean-4.24.0.ebuild                                 02-Jun-2026 05:08                1842
metadata.xml                                       02-Jan-2025 22:11                 954