Covering Codes Lean External Certificates: K_16_4_2 LRAT Bundle
收藏官方服务：
资源简介：
This dataset contains external proof-certificate data for the Lean 4 repository covering-codes-lean. The archive K_16_4_2-lrat.tar.xz contains the CNF and LRAT certificate files from: data/K_16_4_2/lrat
提供机构：
Zenodo创建时间：
2026-06-22
