Books and companion volumes: reading and source links
Browse hub · Find proofs · Lean sources · Code · Collection
PDF, manuscript text, Lean sources, code, and existing evidence are linked separately. Source files may describe an older edition. The status link gives the current assessment.
Contents
- Realization Calculus
- Proof Path Theory
- Komorebi Methodology
- Large Signal Model
- Special Functions
- Machine Societies
- Komorebi Space
- Realization Boundaries
- Sufficient Resolution
- Machine Native Reasoning
- Quantum and Circuits
- Physics
- COS Method
- COS Method: formal continuation
- Self-Improving Intelligence
- Self-Improving Intelligence: visual guide
- Grounded Abstraction
- Machine Theory Compendium
- Realization Calculus: twin edition
Realization Calculus
Open work page: Realization Calculus
Back to contents · Browse all collections
Proof Path Theory
Open work page: Proof Path Theory
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Komorebi Methodology
Open work page: Komorebi Methodology
Back to contents · Browse all collections
Large Signal Model
Open work page: Large Signal Model
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Special Functions
Open work page: Special Functions
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Machine Societies
Open work page: Machine Societies
Back to contents · Browse all collections
Komorebi Space
Open work page: Komorebi Space
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Realization Boundaries
Open work page: Realization Boundaries
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Sufficient Resolution
Open work page: Sufficient Resolution
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Machine Native Reasoning
Open work page: Machine Native Reasoning
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Quantum and Circuits
Open work page: Quantum and Circuits
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
Physics
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
COS Method
PDF · Text · Lean · Code · Work page
Back to contents · Browse all collections
COS Method: formal continuation
Open work page: COS Method: formal continuation
Back to contents · Browse all collections
Self-Improving Intelligence
Open work page: Self-Improving Intelligence
Back to contents · Browse all collections
Self-Improving Intelligence: visual guide
Open work page: Self-Improving Intelligence: visual guide
Back to contents · Browse all collections
Grounded Abstraction
Open work page: Grounded Abstraction
Back to contents · Browse all collections
Machine Theory Compendium
Open work page: Machine Theory Compendium
Back to contents · Browse all collections