There Is No Nothing
Open access0 citations
Abstract
Local publication candidate for There Is No Nothing, version 0.4.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. A premise-free operational foundation and an open verification platform 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)