Index of /sci-mathematics/lean/

 Name                    Last modified      Size  
 Parent Directory                             -   
 Manifest                2026-04-18 02:38  2.4K  
 files/                  2026-05-06 11:38    -   
 lean-4.14.0-r1.ebuild   2025-10-14 21:15  1.9K  
 lean-4.23.0.ebuild      2025-10-14 21:15  1.8K  
 lean-4.24.0.ebuild      2026-04-18 02:38  1.8K  
 metadata.xml            2025-01-02 22:11  954