Published February 12, 2026
| Version v1.0-polyhedral-loop-lean
Software
Open
SteamPunkPhysics/Polyhedral-Loop-Lean: v1.0-polyhedral-loop-lean
Authors/Creators
Description
Artifact for the paper "The Unique Forward-Closed Polyhedral Loop at the Icosahedral Bound: Machine-Verified Proofs in Lean 4". (Lean build, no sorry).
Files
SteamPunkPhysics/Polyhedral-Loop-Lean-v1.0-polyhedral-loop-lean.zip
Files
(28.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:380505893a2751fd40a09fae8a722d8c
|
28.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/SteamPunkPhysics/Polyhedral-Loop-Lean/tree/v1.0-polyhedral-loop-lean (URL)
- Preprint: 10.5281/zenodo.18616732 (DOI)
Software
- Repository URL
- https://github.com/SteamPunkPhysics/Polyhedral-Loop-Lean