a Metamath database processing tool

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

Need help using WAPM?

chevron_rightGet started here

Commands

metamath-knife

Files

  • Readme.md

Unable to find a readme for akb74/metamath-knife@1.0.0

<1klast week

Latest version

1.0.0

Latest updated

6 months ago

Unpackaged size

5.01 MB

License

MIT

Collaborators

  • akb74 avatarakb74

Run it in the browser