metamath package icon
liftm/metamath

wasi

Public
wasmer run liftm/metamath
Run the package
js
JavaScript
python
Python
Install the package in your JavaScript environment with NPM
Simply import the package @liftm/metamath in your repository and start using it
example.js
Loading...