MLTheory proofs

This is the curated entrypoint for theorem-heavy MLTheory developments. It groups the proof files by mathematical theme:

• approximation and finite-precision universal approximation;
• Hopfield energy descent and convergence;
• ReLU algebra and compact-set approximation;
• state-space / Mamba scan and causality laws; and
• robustness theorems used by verification workflows.

Model and specification modules define the semantics; these imports collect reusable mathematical properties of those definitions.