LeanReact: Expressing Composable and Correct React Components in Lean

(theoric.com) by hargup | Sep 18, 2026 | 0 comments on HN