@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.
- Latest release
- Aug 19, 2021
- Releases
- 1
- Known CVEs
- 0
- First release
- Aug 19, 2021
- License
- Apache-2.0
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 1
- Last 12 months
- 0
- Cadence
- —
- Dependencies
- 13
Releases per month
last 12 monthsRelease mix
1
releases
Dependencies
Depends on
3.0.0-
assert
^2.0.0
-
@babel/runtime
^7.15.3
-
brfs
^2.0.2
-
browserify-zlib
^0.2.0
-
buffer
^6.0.3
-
lean-client-js-core
^3.0.0
-
path-browserify
^1.0.1
-
process
^0.11.10
-
setimmediate
^1.0.5
-
stream-browserify
^3.0.0
1–10 of 13
Used by
Nothing tracked depends on this yet.
Releases