Independent Lean 4 Verification of the Complete Smithian Fold Theory Model
Open access0 citations
Abstract
Published open-access status correction for Independent Lean 4 Verification of the Complete Smithian Fold Theory Model, version 1.0.1. This patch removes erroneous prepublication wording from the already-published paper and changes no scientific content.
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-02
Authors: Maria Smith
Institutions: Fano Labs (China)