Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection

(zenodo.org) by trissim | Jan 8, 2026 | 0 comments on HN