pypi · pypi:leanclient
leanclient ativo
Interact with the Lean theorem prover language server
| Versão estável mais recente | 0.13.2 |
|---|---|
| Publicada | 2026-08-19 18:46:45 UTC |
| Requer | python >=3.10 |
| Licença | MIT |
| Alertas de segurança na versão mais recente | nenhum conhecido |
| Última verificação | 2026-09-28 14:57:40 UTC |
| Fontes | pypi.org |
Mudanças observadas
Nenhuma mudança observada desde que o Vigia começou a monitorar este pacote.
Para agentes
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient