PyPI recent updates for jumla https://pypi.org/project/jumla/ Recent updates to the Python Package Index for jumla en 0.1.5 https://pypi.org/project/jumla/0.1.5/ Jumla generates Lean 4 verification datasets from Python code and tests. meek10x@gmail.com Wed, 21 May 2025 17:32:32 GMT 0.1.4 https://pypi.org/project/jumla/0.1.4/ Jumla generates Lean 4 verification datasets from Python code and tests. meek10x@gmail.com Wed, 21 May 2025 07:25:36 GMT 0.1.3 https://pypi.org/project/jumla/0.1.3/ Jumla generates Lean 4 verification datasets from Python code and tests. meek10x@gmail.com Wed, 21 May 2025 07:22:40 GMT 0.1.2 https://pypi.org/project/jumla/0.1.2/ Jumla generates Lean 4 verification datasets from Python code and tests. meek10x@gmail.com Wed, 21 May 2025 07:07:01 GMT 0.1.1 https://pypi.org/project/jumla/0.1.1/ Jumla generates Lean 4 verification datasets from Python code and tests. meek10x@gmail.com Wed, 21 May 2025 06:44:30 GMT 0.1.0 https://pypi.org/project/jumla/0.1.0/ Jumla generates Lean 4 verification datasets from Python code and tests. meek10x@gmail.com Wed, 21 May 2025 06:28:52 GMT