lean.js icon indicating copy to clipboard operation
lean.js copied to clipboard
verified publisher icon leanprover

Ready to use compiled .js file and/or npm package

Open vird opened this issue 10 years ago • 2 comments

1 hour of compilation... just for test purpose. found this https://raw.githubusercontent.com/leanprover/lean.js/7cdb005b6b96b9d6dd6a6caa0407c682f6e82b3f/lean.js

That was not obvious.

vird avatar Sep 06 '15 07:09 vird

Well.. In the README.md file, I mentioned that the latest version of compiled javascript is available in the following paragraph:

screen shot 2015-09-06 at 10 55 45 am

Please use https://leanprover.github.io/lean.js/lean.js .

soonhokong avatar Sep 06 '15 14:09 soonhokong

I agree that it would be nice if we have it as a npm package. But for now, I don't have enough time for that. Of course, if anyone is willing to do that, I'm happy to help.

soonhokong avatar Sep 06 '15 14:09 soonhokong