Independent Lean 4 Verification of the Complete Smithian Fold Theory Model
Open access0 citations
Abstract
Standalone verification paper for the Lean 4 PASS over 2,777 current SFT claims, 898,902 candidates and 11,108 controls, including a native proof of the two-class operational root's unique survivor.
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-02
Authors: Maria Smith
Institutions: Fano Labs (China)