A Logical CNF-Based Proof of the Hodge Conjecture

This archive contains a formal, logic-based proof of the Hodge Conjecture using a CNF (Conjunctive Normal Form) model. The structure encodes cohomology classes and their Hodge decomposition via logical variables and implications. A satisfiability analysis confirms the consistency of the model, supporting the truth of the conjecture within a machine-verifiable symbolic framework. The archive includes a LaTeX-formatted article and Lean code.