pypi · pypi:leanclient
leanclient aktywny
Interact with the Lean theorem prover language server
| Najnowsza stabilna wersja | 0.13.2 |
|---|---|
| Opublikowano | 2026-08-19 18:46:45 UTC |
| Wymaga | python >=3.10 |
| Licencja | MIT |
| Ostrzeżenia bezpieczeństwa dla najnowszej wersji | brak znanych |
| Ostatnia weryfikacja | 2026-09-28 14:57:40 UTC |
| Źródła | pypi.org |
Zaobserwowane zmiany
Od kiedy Vigia śledzi ten pakiet, nie zaobserwowano jeszcze zmian.
Dla agentów
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient