metamath package icon
liftm/metamath

wasi

Public
wasmer run liftm/metamath

windows

x86_64-pc-windows-gnu

metamath-x86_64-pc-windows-gnu-0.198.20210807-4.zip  

linux

x86_64-linux-gnu

metamath-linux-x86_64-0.198.20210807-4.tar.gz  

aarch64-linux-gnu

metamath-linux-aarch64-0.198.20210807-4.tar.gz  

mac

x86_64-apple-darwin

metamath-apple-x86_64-0.198.20210807-4.tar.gz  

arm64-apple-darwin

metamath-apple-arm64-0.198.20210807-4.tar.gz  

Making software universally accessible

PrivacyTerms