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