https://pypi.org/project/alephprover/ Recent updates to the Python Package Index for alephprover en https://pypi.org/project/alephprover/0.2.3/ CLI tool for submitting Lean proof requests to the Aleph Prover API Tue, 19 May 2026 14:24:09 GMT https://pypi.org/project/alephprover/0.2.2/ CLI tool for submitting Lean proof requests to the Aleph Prover API Mon, 20 Apr 2026 14:33:42 GMT https://pypi.org/project/alephprover/0.2.1/ CLI tool for submitting Lean proof requests to the Aleph Prover API Thu, 16 Apr 2026 12:19:39 GMT https://pypi.org/project/alephprover/0.2.0rc1/ CLI tool for submitting Lean proof requests to the Aleph Prover API Tue, 14 Apr 2026 10:58:50 GMT https://pypi.org/project/alephprover/0.1.0/ CLI tool for submitting Lean proof requests to the Aleph Prover API Fri, 10 Apr 2026 13:50:09 GMT https://pypi.org/project/alephprover/0.0.3/ CLI tool for submitting Lean proof requests to the Aleph Prover API Tue, 07 Apr 2026 09:48:50 GMT https://pypi.org/project/alephprover/0.0.1/ CLI tool for submitting Lean proof requests to the Aleph Prover API Mon, 23 Mar 2026 13:53:53 GMT