Welcome to NYCU CSIT Mirror site
Index of /gentoo-portage/sci-mathematics/lean/
Index of /gentoo-portage/sci-mathematics/lean/
../
files/ 01-May-2024 08:11 -
Manifest 18-Jan-2024 17:40 2132
lean-3.51.1.ebuild 15-Aug-2023 16:10 1815
lean-4.2.0.ebuild 18-Jan-2024 17:40 1319
metadata.xml 22-Feb-2022 18:39 606