Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

python313Packages.leanclient

Python client for the Lean theorem prover LSP

Ecosystem
nixpkgs-unstable
Latest Release
0.9.4
2 days ago
Versions
1
0.9.4
Published: 2 days ago
Registry - Documentation -
Links
Registry nixpkgs-unstable
Source Repository
Docs Documentation
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:nix/python313Packages.leanclient?channel=unstable
spec
License MIT
First Release 2 days ago
Last Synced 2 days ago
Keywords
python