title Call an npm package from Lean with Lasm.JS description Bind three functions of the semver npm package with one @[js] line each, call them from a Lean program, and build it with the package ...

This tutorial should help you add a service to shields.io in form of a badge. You will need to learn to use JavaScript, Git and GitHub, however, this document will ...