Index of /sci-mathematics/lean/

NameLast ModifiedSizeType
../ -  Directory
Manifest2026-Jul-04 16:08:090.9Kapplication/octet-stream
lean-4.24.0.ebuild2026-Jun-02 07:08:331.8Kapplication/octet-stream
metadata.xml2025-Jan-02 23:11:280.9Kapplication/xml
lighttpd/1.4.45