https://github.com/gebner/lean-client-js

This repository has moved to https://github.com/leanprover/lean-client-js
https://github.com/gebner/lean-client-js

Last synced: over 1 year ago
JSON representation

This repository has moved to https://github.com/leanprover/lean-client-js

• Host: GitHub
• URL: https://github.com/gebner/lean-client-js
• Owner: gebner
• Created: 2017-04-19T08:09:59.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-05-21T11:42:52.000Z (about 9 years ago)
• Last Synced: 2025-02-16T10:44:38.525Z (over 1 year ago)
• Language: TypeScript
• Homepage:
• Size: 47.9 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
## Javascript interface to the Lean server

[Demo code](./lean-client-js-browser/demo.ts):

```

npm install

npm run bootstrap

npm run demo

```

And go to http://localhost:8080/

You can then also run `npm run node-demo` to see the same code interacting with a locally-installed version of Lean.