Vigia

PyPI · pypi:leanclient

leanclient đang hoạt động

Interact with the Lean theorem prover language server

Phiên bản ổn định mới nhất0.13.2
Ngày phát hành2026-08-19 18:46:45 UTC
Yêu cầupython >=3.10
Giấy phépMIT
Cảnh báo bảo mật của phiên bản mới nhấtchưa có
Xác minh lần cuối2026-09-28 19:22:26 UTC
Nguồnpypi.org

Bảo trì

Mức hoạt độngđang hoạt động
Phiên bản ổn định gần nhất2026-08-19 18:46:45 UTC · 40 ngày trước
Phiên bản ổn định trong 12 tháng qua29
Số phiên bản đã phát hành52

Ước lượng chỉ dựa trên ngày phát hành; không đo thời gian phản hồi issue hay sự cố bảo mật.

Lịch sử phiên bản

Phiên bảnNgày phát hành
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

Đang hiển thị 20 phiên bản mới nhất trong tổng số 42. JSON

Câu hỏi thường gặp

Phiên bản mới nhất của leanclient là gì?

Phiên bản ổn định mới nhất của leanclient là 0.13.2, phát hành ngày 2026-08-19. Vigia xác minh lúc 2026-09-28.

leanclient có bị ngừng hỗ trợ không?

Không. leanclient không bị đánh dấu ngừng hỗ trợ trong registry.

leanclient yêu cầu phiên bản Python nào?

leanclient 0.13.2 khai báo yêu cầu sau: python >=3.10.

leanclient 0.13.2 có lỗ hổng đã biết không?

Theo dữ liệu mà Vigia kiểm tra, không có cảnh báo bảo mật đã biết nào ảnh hưởng đến leanclient 0.13.2.

leanclient có còn được duy trì không?

leanclient đã phát hành 29 phiên bản ổn định trong 12 tháng qua; bản gần nhất cách đây 40 ngày. Mức hoạt động: đang hoạt động.

Thay đổi đã ghi nhận

Chưa ghi nhận thay đổi nào kể từ khi Vigia bắt đầu theo dõi gói này.

Gói liên quan

Dành cho tác tử

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