Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Why Formalize MeTTa? Blockchain, AGI, and Verifiable Semantics
2.
A Note on This Document
3.
The Object Language: Atoms
4.
The Minimal Interpreter and Its Standard Library
5.
The Gradual Type System
6.
The Metatheory
7.
The Operational Semantics
8.
Interpreter ⇔ Specification
9.
Paving the Way: MeTTa on the Blockchain
10.
MeTTaIL: A Machine-Checked Meta-Language of Graph-Structured Lambda Theories
11.
PoR-Weighted Cordial Miners: Machine-Checked Consensus Safety
12.
The future-work Branch
13.
Discussion and Limitations
14.
Appendix: Proof Status, Coverage, and Improvements