codelogician 2.19.0rc2

T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 24 Sept, 16:42 UTC

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.

releases

Sources

• T1codelogician 2.19.0rc2PyPI / crates.io / RubyGems / Go index / NuGet24 Sept, 16:42