leanclient
Interact with the Lean theorem prover language server
- Category
- Python packages
pip install leanclient Official docs outline
leanclient.readthedocs.ioExtra Credit builds an outline of leanclient's docs the first time your work uses it. Until then, start at the official documentation.
More in Python packages
All 9,553- salesforce-fuelsdk-sans Salesforce Marketing Cloud Fuel SDK for Python
- mypy-boto3-elbv2 Type annotations for boto3 ElasticLoadBalancingv2 1.43.54 service generated with mypy-boto3-builder 8.12.0
- django-cte Common Table Expressions (CTE) for Django
- locust-cloud Locust Cloud
- bigquery-schema-generator BigQuery schema generator from JSON or CSV data
- panel-material-ui An extension to bring MaterialUI components to Panel.
- sglang-kernel Kernel Library for SGLang
- setupmeta Simplify your setup.py
- lean-lsp-mcp Lean Theorem Prover MCP
- nvidia-cusparse-cu11 CUSPARSE native runtime libraries
- mypy-boto3-dlm Type annotations for boto3 DLM 1.43.0 service generated with mypy-boto3-builder 8.12.0
- nvidia-cufft-cu11 CUFFT native runtime libraries