Typed intermediate representation for symbolic and neuro-symbolic reasoning.
中文标题： LATTIX-IO/reasonir
面向符号与神经符号推理的类型化中间表示（IR）开源项目，用于统一表达推理过程中的符号结构。