The Generative Stack: A Machine-Verified Lean 4 Formalization Connecting Frames, Nuclei, and Fixed-Point Algebras to Logic, Numbers, and Computation

2026 Open access

Read full text

Authors: Apoth3osis R&d, Richard Goodman

DOI: 10.13140/rg.2.2.26888.07683

Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Advanced Algebra and Logic Computability AI Algorithms