{"id":"palomar/PALOMAR-2026-09-08-000004","url":"https://github.com/wstrinz/configuration-23-4/tree/94fc8964562fa9e246c8c7b1657e2e135bda35f6","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-08-000004-v1.json","repo":"https://github.com/wstrinz/configuration-23-4","tags":["math.CO","math.MG","msc:51A45","msc:52C30","combinatorial-geometry","incidence-configurations","lean"],"score":0,"title":"A real affine (23_4) configuration","trust":"high","domain":"math.CO","source":"palomar","authors":["Will Strinz"],"reviews":0,"subject":"math.CO","summary":"An explicit construction of 23 distinct points and 23 distinct straight lines in the real affine plane, with exactly four selected incidences at every point and every line. Lean verifies the construction using rational coordinates interpreted in the real numbers.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-09-08","reactions":{},"formalized":true}