lean-client-js-browser

leanprover
js
lean-client-js-browser JS library on GitHub lean-client-js-browser JS library on npm Download lean-client-js-browser JS library

Interface to the Lean server

Version 3.5.1 License Apache-2.0
lean-client-js-browser has no homepage
lean-client-js-browser JS library on GitHub
lean-client-js-browser JS library on npm
Download lean-client-js-browser JS library
INSTALL
Version:
Learn more
Readme Files Statistics Browse CDN