SteamPunkPhysics/Polyhedral-Loop-Lean: v1.0-polyhedral-loop-lean

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: SteamPunkPhysics
DOI: 10.5281/zenodo.18616694
Cited by: 0

Abstract

Artifact for the paper "The Unique Forward-Closed Polyhedral Loop at the Icosahedral Bound: Machine-Verified Proofs in Lean 4". (Lean build, no sorry).

Fields of Study & Subjects

Mathematics and Applications Logic programming and type systems Advanced Combinatorial Mathematics

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 February 2026
Language
EN