leanclient

0.13.0

Interact with the Lean theorem prover language server

License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.

Published

July 28, 2026

55d ago

Package Registry

PyPI Source

README badge Customize →

License Sources Match

MIT confirmed by 2 independent sources — Python registry metadata and the LICENSE file in the package source — as of July 28, 2026.

Source	License	Class
Licensie (detected)	MIT	Permissive
PyPI (reported)	MIT	Permissive

Loading dependencies…

License File

Added Removed Expected

Versions

6 versions

Version	License	Published	Status
0.13.0 Latest Viewing	MIT	Jul 28, 2026	Scanned
0.12.0	MIT	Jul 6, 2026	Scanned
0.11.0	MIT	Jun 9, 2026	Scanned
0.10.0	MIT	May 4, 2026	Scanned
0.9.4	MIT	Mar 17, 2026	Scanned
0.9.3	MIT	Mar 8, 2026	Scanned