Read news on SSOT with our app.
Read more in the app
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
