Published June 21, 2026
| Version v1
Dataset
Open
Covering Codes Lean External Certificates: K_8_4_2 LRAT Bundle
Authors/Creators
Description
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
Files
Files
(1.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:97c720c4430ce7b048f9c0f157a4ce49
|
1.0 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/florath/covering-codes-lean
- Programming language
- Lean
- Development Status
- Active