leanclient
Interact with the Lean theorem prover language server
0.13.0
2.4M downloads/mo
#3088 most downloaded on PyPI
oOo0oOo/leanclient
What this package is like to depend on
Last release 23 days ago
28 Jul 2026
Release timing varies
gaps range from 8 days to 2 months
No release notes found
nothing matched a version
Nothing withdrawn
no release was ever pulled
2 years old
50 releases · first in 2025
27 releases in the last 12 months
see the full history below
Release timeline
50 releases · Jan 2025 to Jul 2026Releases
latest 50-
0.13.028 Jul 2026Nothing published for this version
-
0.12.117 Jul 2026Nothing published for this version
-
0.12.006 Jul 2026Nothing published for this version
-
0.11.009 Jun 2026Nothing published for this version
-
0.10.004 May 2026Nothing published for this version
-
0.9.417 Mar 2026Nothing published for this version
-
0.9.308 Mar 2026Nothing published for this version
-
0.9.212 Jan 2026Nothing published for this version
-
0.9.112 Jan 2026Nothing published for this version
-
0.9.009 Jan 2026Nothing published for this version
-
0.8.019 Dec 2025Nothing published for this version
-
0.7.017 Dec 2025Nothing published for this version
-
0.6.216 Dec 2025Nothing published for this version
-
0.6.103 Dec 2025Nothing published for this version
-
0.6.003 Dec 2025Nothing published for this version
-
0.5.520 Nov 2025Nothing published for this version
-
0.5.419 Nov 2025Nothing published for this version
-
0.5.316 Nov 2025Nothing published for this version
-
0.5.210 Nov 2025Nothing published for this version
-
0.5.109 Nov 2025Nothing published for this version
-
0.5.007 Nov 2025Nothing published for this version
-
0.4.029 Oct 2025Nothing published for this version
-
0.3.127 Oct 2025Nothing published for this version
-
0.3.021 Oct 2025Nothing published for this version
-
0.2.118 Oct 2025Nothing published for this version
-
0.2.015 Oct 2025Nothing published for this version
-
0.1.1415 Jul 2025Nothing published for this version
-
0.1.1320 Jun 2025Nothing published for this version
-
0.1.1209 Jun 2025Nothing published for this version
-
0.1.1101 Jun 2025Nothing published for this version
-
0.1.1011 May 2025Nothing published for this version
-
0.1.917 Apr 2025Nothing published for this version
-
0.1.817 Apr 2025Nothing published for this version
-
0.1.718 Mar 2025Nothing published for this version
-
0.1.618 Mar 2025Nothing published for this version
-
0.1.514 Mar 2025Nothing published for this version
-
0.1.414 Mar 2025Nothing published for this version
-
0.1.324 Feb 2025Nothing published for this version
-
0.1.220 Feb 2025Nothing published for this version
-
0.1.127 Oct 2025Nothing published for this version
-
0.1.0b1029 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b916 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b815 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b714 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b611 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b510 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b408 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b307 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b207 Jan 2025 pre-releaseNothing published for this version
-
0.1.0b106 Jan 2025 pre-releaseNothing published for this version