LeanReact: Expressing Composable and Correct React Components in Lean

1 points | by hargup 10 hours ago