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