FRAG005
A long-form mathematical manuscript developing recursive compressibility and MDL-style formalization, with executable reference semantics, finite-instance certification and Lean verification.
FORMAL MATHEMATICS · RC/MDL · EXECUTABLE SEMANTICS · LEAN