API Bindings · liftm/metamath

liftm/metamath

wasi

Public

wasmer run liftm/metamath

Run the package

JavaScript

Python

Install

Install the package in your JavaScript environment with NPM

Use the package

Simply import the package @liftm/metamath in your repository and start using it

example.js

Loading...