PyPI recent updates for leanelpi https://pypi.org/project/leanelpi/ Recent updates to the Python Package Index for leanelpi en 0.4.1 https://pypi.org/project/leanelpi/0.4.1/ Python bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 Sat, 31 Oct 2026 20:19:46 GMT 0.3.3 https://pypi.org/project/leanelpi/0.3.3/ Python bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 Fri, 16 Oct 2026 07:17:55 GMT 0.3.2 https://pypi.org/project/leanelpi/0.3.2/ Python bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 Thu, 15 Oct 2026 19:02:45 GMT 0.3.1 https://pypi.org/project/leanelpi/0.3.1/ Python bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 Thu, 15 Oct 2026 18:59:59 GMT 0.3.0 https://pypi.org/project/leanelpi/0.3.0/ Python bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 Thu, 15 Oct 2026 10:16:26 GMT