Command Palette

Search for a command to run...

metamath package icon
liftm/metamath

wasi

Public
wasmer run liftm/metamath

windows

x86_64-pc-windows-gnu

distribution/exe/liftm/metamath/metamath-x86_64-pc-windows-gnu-0.198.20210807-4.zip  

linux

x86_64-linux-gnu

distribution/exe/liftm/metamath/metamath-linux-x86_64-0.198.20210807-4.tar.gz  

aarch64-linux-gnu

distribution/exe/liftm/metamath/metamath-linux-aarch64-0.198.20210807-4.tar.gz  

mac

arm64-apple-darwin

distribution/exe/liftm/metamath/metamath-apple-arm64-0.198.20210807-4.tar.gz  

x86_64-apple-darwin

distribution/exe/liftm/metamath/metamath-apple-x86_64-0.198.20210807-4.tar.gz