Work

Kernel-checked Lean 4 certificates for finite constructions: optimization constants 1a, 1c, 1d and 49, Ramsey colourings, covering designs and binary codes

Year: 2026

Type: preprint

Abstract: Kernel-checked Lean 4 proofs of bounds and properties of explicit finite constructions: the autocorrelation constant C1a, the signed constant C1d, replays of tracker entries 1c, 1d and 49, seven two-colourings of complete graphs, forty covering designs and thirty-one binary linear codes. Every input is identified by URL, commit and SHA-256.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.23859749

Author: Thalluri, Advatiya

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7225054585

Cites:

Cited by:

Related to: 10