https://pypi.org/project/tinylean/ Recent updates to the Python Package Index for TinyLean en https://pypi.org/project/tinylean/0.7.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Tue, 11 Mar 2025 18:25:09 GMT https://pypi.org/project/tinylean/0.6.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Tue, 11 Mar 2025 17:31:29 GMT https://pypi.org/project/tinylean/0.5.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Fri, 28 Feb 2025 14:30:26 GMT https://pypi.org/project/tinylean/0.4.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Mon, 24 Feb 2025 07:12:05 GMT https://pypi.org/project/tinylean/0.3.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Thu, 13 Feb 2025 09:10:54 GMT https://pypi.org/project/tinylean/0.2.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Tue, 11 Feb 2025 08:08:35 GMT https://pypi.org/project/tinylean/0.1.0/ Tiny theorem prover with syntax like Lean 4 anqurvanillapy@gmail.com Sat, 08 Feb 2025 15:09:36 GMT