Vigia

PyPI · pypi:leanclient

leanclient aktiv

Interact with the Lean theorem prover language server

Neueste stabile Version0.13.2
Veröffentlicht2026-08-19 18:46:45 UTC
Erfordertpython >=3.10
LizenzMIT
Sicherheitshinweise zur neuesten Versionkeine bekannt
Zuletzt geprüft2026-09-28 19:22:26 UTC
Quellenpypi.org

Pflege

Aktivitätaktiv
Letzte stabile Version2026-08-19 18:46:45 UTC · vor 40 Tagen
Stabile Versionen in den letzten 12 Monaten29
Veröffentlichte Versionen52

Heuristik, die nur auf Veröffentlichungsdaten beruht; sie misst keine Reaktionszeiten auf Issues oder Sicherheitsprobleme.

Versionsverlauf

VersionVeröffentlicht
0.13.22026-08-19 18:46:45 UTC
0.13.12026-08-19 13:07:20 UTC
0.13.02026-07-28 08:23:48 UTC
0.12.12026-07-17 09:43:42 UTC
0.12.02026-07-06 12:32:56 UTC
0.11.02026-06-09 14:52:15 UTC
0.10.02026-05-04 08:23:20 UTC
0.9.42026-03-17 09:49:22 UTC
0.9.32026-03-08 13:15:38 UTC
0.9.22026-01-12 18:19:34 UTC
0.9.12026-01-12 07:13:55 UTC
0.9.02026-01-09 11:15:28 UTC
0.8.02025-12-19 14:42:28 UTC
0.7.02025-12-17 23:03:07 UTC
0.6.22025-12-16 13:24:43 UTC
0.6.12025-12-03 07:50:08 UTC
0.6.02025-12-03 07:47:37 UTC
0.5.52025-11-20 02:27:58 UTC
0.5.42025-11-19 11:11:16 UTC
0.5.32025-11-16 09:37:33 UTC

Die 20 neuesten von 42 Versionen werden angezeigt. JSON

Häufige Fragen

Was ist die neueste Version von leanclient?

Die neueste stabile Version von leanclient ist 0.13.2, veröffentlicht am 2026-08-19. Von Vigia geprüft am 2026-09-28.

Ist leanclient veraltet?

Nein. leanclient ist in der Registry nicht als veraltet gekennzeichnet.

Welche Python-Version benötigt leanclient?

leanclient 0.13.2 gibt diese Anforderung an: python >=3.10.

Hat leanclient 0.13.2 bekannte Sicherheitslücken?

Laut den von Vigia geprüften Daten betreffen keine bekannten Sicherheitshinweise leanclient 0.13.2.

Wird leanclient noch gepflegt?

leanclient hat in den letzten 12 Monaten 29 stabile Versionen veröffentlicht; die neueste vor 40 Tagen. Aktivität: aktiv.

Beobachtete Änderungen

Seit Vigia dieses Paket beobachtet, wurden noch keine Änderungen festgestellt.

Verwandte Pakete

Für Agenten

GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient
GET https://vigia.coredls.cloud/v1/packages/pypi/leanclient/versions/{version}