https://pypi.org/project/codelogician/ Recent updates to the Python Package Index for codelogician en https://pypi.org/project/codelogician/2.7.3/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 14 Apr 2026 10:55:51 GMT https://pypi.org/project/codelogician/2.7.2/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 14 Apr 2026 09:50:30 GMT https://pypi.org/project/codelogician/2.7.1/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 14 Apr 2026 09:17:09 GMT https://pypi.org/project/codelogician/2.7.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 14 Apr 2026 09:09:36 GMT https://pypi.org/project/codelogician/2.6.1/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 10 Apr 2026 15:41:19 GMT https://pypi.org/project/codelogician/2.6.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 10 Apr 2026 13:02:14 GMT https://pypi.org/project/codelogician/2.5.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Wed, 01 Apr 2026 15:09:23 GMT https://pypi.org/project/codelogician/2.4.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 27 Mar 2026 11:27:55 GMT https://pypi.org/project/codelogician/2.3.2/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Wed, 25 Mar 2026 14:25:33 GMT https://pypi.org/project/codelogician/2.3.1/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Wed, 25 Mar 2026 11:11:03 GMT https://pypi.org/project/codelogician/2.3.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 24 Mar 2026 14:57:04 GMT https://pypi.org/project/codelogician/2.2.1/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 13 Mar 2026 14:31:47 GMT https://pypi.org/project/codelogician/2.2.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 13 Mar 2026 14:07:13 GMT https://pypi.org/project/codelogician/2.1.0/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Wed, 04 Mar 2026 10:21:30 GMT https://pypi.org/project/codelogician/2.0.3/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Thu, 26 Feb 2026 11:31:25 GMT https://pypi.org/project/codelogician/2.0.2/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Wed, 18 Feb 2026 22:08:36 GMT https://pypi.org/project/codelogician/2.0.1/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 13 Feb 2026 19:33:34 GMT https://pypi.org/project/codelogician/2.0.0b11/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Wed, 28 Jan 2026 10:30:22 GMT https://pypi.org/project/codelogician/2.0.0b10/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 16 Jan 2026 22:05:54 GMT https://pypi.org/project/codelogician/2.0.0b9/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 16 Jan 2026 18:21:37 GMT https://pypi.org/project/codelogician/2.0.0b8/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 13 Jan 2026 15:05:11 GMT https://pypi.org/project/codelogician/2.0.0b7/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Thu, 08 Jan 2026 10:24:36 GMT https://pypi.org/project/codelogician/2.0.0b6/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 06 Jan 2026 16:43:33 GMT https://pypi.org/project/codelogician/2.0.0b5/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Thu, 11 Dec 2025 22:12:20 GMT https://pypi.org/project/codelogician/2.0.0b4/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Fri, 05 Dec 2025 18:31:26 GMT https://pypi.org/project/codelogician/2.0.0b3/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 25 Nov 2025 20:07:20 GMT https://pypi.org/project/codelogician/2.0.0b2/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 25 Nov 2025 18:29:18 GMT https://pypi.org/project/codelogician/2.0.0b1/ CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. hongyu@imandra.ai, samer@imandra.ai, denis@imandra.ai Tue, 14 Oct 2025 15:06:30 GMT