@aneilmac/lean-client-js-browser
This is a fork of [lean-client-js-browser](https://github.com/leanprover/lean-client-js/tree/master/lean-client-js-browser) which has been edited for use in modern JS projects.
Activity
- Latest release
- 5y ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 0
Details
- License
- Apache-2.0
- First release
- Aug 19, 2021
Releases