pypi · pypi:leanclient
leanclient активен
Interact with the Lean theorem prover language server
| Последняя стабильная версия | 0.13.2 |
|---|---|
| Опубликована | 2026-08-19 18:46:45 UTC |
| Требует | python >=3.10 |
| Лицензия | MIT |
| Уведомления о безопасности для последней версии | неизвестны |
| Последняя проверка | 2026-09-28 14:57:40 UTC |
| Источники | pypi.org |
Зафиксированные изменения
С тех пор как Vigia отслеживает этот пакет, изменений пока не зафиксировано.
Для агентов
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient