Index of /sci-mathematics/metamath/

Icon  Name                    Last modified      Size  
[PARENTDIR] Parent Directory                             -   
[   ] Manifest                2022-01-25 19:10  1.2K  
[DIR] files/                  2026-01-28 14:10    -   
[   ] metadata.xml            2022-01-25 19:10  636   
[   ] metamath-0.198.ebuild   2021-11-26 13:40  632