From Nothing to Fold
Open access0 citations
Abstract
Local publication candidate for From Nothing to Fold, version 1.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. A premise-free, parameter-free and machine-closed Foundation for Smithian Fold Theory
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-02
Authors: Maria Smith
Institutions: Fano Labs (China)