Sign in Sign up
npm

lean-client-js-browser

Interface to the Lean server

Latest release
May 31, 2023
Releases
26
Known CVEs
0
First release
Apr 19, 2017
License
Apache-2.0
View on Npm
Repository

Source

leanprover/lean-client-js
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
26
Last 12 months
0
Cadence
~7 days
Dependencies
5

Releases per month

last 12 months

Release mix

  • major 2
  • minor 7
  • patch 16
26 releases
Dependencies

Depends on

3.5.1

Used by

1
Releases
Version Released
3.5.1 patch
3.5.0 minor
3.3.1 patch
3.3.0 minor
3.0.0 major
2.0.4 patch
2.0.1 patch
2.0.0 major
1.5.0 minor
1.4.0 minor
1.3.2 patch
1.3.1 patch
1.3.0 minor
1.2.12 patch
1.2.11 patch
1.2.10 patch
1.2.9 patch
1.2.8 patch
1.2.7 patch
1.2.6 patch
1–20 of 26