# lean-client-js-node

> Interface to the Lean server

Latest version **3.3.1** (published 2022-06-23) · Apache-2.0 license · 0 weekly downloads

## Install

```sh
npm install lean-client-js-node
pnpm add lean-client-js-node
yarn add lean-client-js-node
bun add lean-client-js-node
```

## Health

**Score 20/100 (F)** — status: abandoned.

Positive: has types; no vulnerabilities.

Warnings: low downloads; no esm support.

Negative: abandoned; low maintenance score.

## Facts

| | |
|---|---|
| Version | 3.3.1 |
| Published | 2022-06-23 |
| First published | 2017-04-19 |
| Weekly downloads | 0 |
| License | Apache-2.0 |
| TypeScript types | bundled |
| Module format | CommonJS |
| Dependencies | 2 |
| Unpacked size | 22.1 KB |
| Known vulnerabilities | 0 |
| Install scripts | no |
| GitHub stars | 36 |
| Author | Gabriel Ebner |
| Maintainers | gebner |

## Links

- npm: https://www.npmjs.com/package/lean-client-js-node
- Repository: https://github.com/leanprover/lean-client-js
- Homepage: https://github.com/leanprover/lean-client-js#readme
- Issues: https://github.com/leanprover/lean-client-js/issues
- npm.io page: https://npm.io/package/lean-client-js-node

## Dependencies (2)

- [@types/node](https://npm.io/package/@types/node.md) ^9.4.6
- [lean-client-js-core](https://npm.io/package/lean-client-js-core.md) ^3.3.1

## Recent versions

- 3.3.1 (latest) — 2022-06-23
- 3.3.0 — 2022-06-23
- 3.0.0 — 2021-08-16
- 2.0.4 — 2021-06-24
- 2.0.1 — 2020-11-03
- 2.0.0 — 2020-09-21
- 1.5.0 — 2020-06-24
- 1.4.0 — 2020-06-10
- 1.3.2 — 2020-06-09
- 1.3.1 — 2020-06-08
- 1.3.0 — 2020-06-08
- 1.2.12 — 2018-02-15
- 1.2.11 — 2017-06-30
- 1.2.10 — 2017-06-15
- 1.2.9 — 2017-06-15
- … 10 more at https://npm.io/package/lean-client-js-node/versions

## README

Javascript library to interface with the server mode of the [Lean theorem prover](https://leanprover.github.io/).

This `lean-client-js-node` package contains the node.js version.  It communicates with a locally installed version of Lean.  See [demo.ts](./demo.ts) for an example on how to use it.

---
_Source: https://npm.io/package/lean-client-js-node · Machine-readable twin of the npm.io package page. Health data is recomputed on every publish._