https://pypi.org/project/proofofthought/ Recent updates to the Python Package Index for proofofthought en https://pypi.org/project/proofofthought/1.0.1.dev202604011558/ LLM-based reasoning using Z3 theorem proving debargha@case.edu Wed, 01 Apr 2026 16:08:54 GMT https://pypi.org/project/proofofthought/1.0.1/ LLM-based reasoning using Z3 theorem proving debargha@case.edu Sat, 18 Oct 2025 00:31:46 GMT https://pypi.org/project/proofofthought/1.0.0/ LLM-based reasoning using Z3 theorem proving debargha@case.edu Sat, 18 Oct 2025 00:04:21 GMT