Covering Codes Lean External Certificates: K_8_4_2 LRAT Bundle

This dataset contains external proof-certificate data for the Lean 4 repository covering-codes-lean. The archive K_8_4_2-lrat.tar.xz contains the CNF and LRAT certificate files from: data/K_8_4_2/lrat/ These files certify the K_8_4_2 covering-code proof data used by the Lean module CoveringCodes.Database.Sources.OctonaryFourTwoBlockLRAT. The data is intended to be downloaded by the repository's external-certificate tooling, verified by SHA256, unpacked into the expected data path, and then used during Lean compilation