pypi · pypi:leanclient
leanclient attivo
Interact with the Lean theorem prover language server
| Ultima versione stabile | 0.13.2 |
|---|---|
| Pubblicata | 2026-08-19 18:46:45 UTC |
| Richiede | python >=3.10 |
| Licenza | MIT |
| Avvisi di sicurezza sull’ultima versione | nessuno noto |
| Ultima verifica | 2026-09-28 08:56:32 UTC |
| Fonti | pypi.org |
Modifiche osservate
Nessuna modifica osservata da quando Vigia monitora questo pacchetto.
Per gli agenti
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient