a Metamath database processing tool

Public Library1.0.0updated 8 months ago5.01 MB
COPY
wapm install akb74/metamath-knife

Need help using WAPM?

Get started here
1.0.0LATEST

<1klast week

Latest version

1.0.0

Latest updated

8 months ago

Unpackaged size

5.01 MB

License

MIT

Collaborators

  • akb74 avatarakb74

Run it in the browser