PyPI recent updates for speclogician https://pypi.org/project/speclogician/ Recent updates to the Python Package Index for speclogician en 1.1.3 https://pypi.org/project/speclogician/1.1.3/ SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis. denis@imandra.ai, hongyu@imandra.ai Mon, 16 Mar 2026 22:36:03 GMT 1.1.2 https://pypi.org/project/speclogician/1.1.2/ SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis. denis@imandra.ai, hongyu@imandra.ai Mon, 16 Mar 2026 18:42:07 GMT 1.1.1 https://pypi.org/project/speclogician/1.1.1/ SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis. denis@imandra.ai, hongyu@imandra.ai Mon, 16 Mar 2026 17:40:59 GMT 1.1.0 https://pypi.org/project/speclogician/1.1.0/ SpecLogician is an AI framework that turns code, tests, logs, and requirements into mathematical context for LLMs through formal specification synthesis, verification, and analysis. denis@imandra.ai, hongyu@imandra.ai Mon, 16 Mar 2026 14:41:54 GMT 1.0.1 https://pypi.org/project/speclogician/1.0.1/ SpecLogician AI framework for data-driven formal program specification synthesis, verification and analysis denis@imandra.ai, hongyu@imandra.ai Fri, 20 Feb 2026 22:36:24 GMT 1.0.0 https://pypi.org/project/speclogician/1.0.0/ SpecLogicain AI framework for data-driven formal program specification synthesis, verification and analysis denis@imandra.ai, hongyu@imandra.ai Mon, 09 Feb 2026 13:14:10 GMT 0.0.0b1 https://pypi.org/project/speclogician/0.0.0b1/ SpecLogicain AI framework for data-driven formal program specification synthesis, verification and analysis denis@imandra.ai, hongyu@imandra.ai Thu, 05 Feb 2026 17:35:19 GMT 0.0.0.dev1 https://pypi.org/project/speclogician/0.0.0.dev1/ SpecLogicain AI framework for data-driven formal program specification synthesis, verification and analysis denis@imandra.ai, hongyu@imandra.ai Fri, 19 Dec 2025 15:16:50 GMT