@entailer/core
v1.3.0
Published
The deterministic verifier core for Entailer: Formula AST, IR, propositional tableau + DPLL, classification, and the LogicReport schema. Zero LLM/solver dependencies — the trusted kernel.
Readme
ERROR: No README data found!
