LeanReact: Expressing Composable and Correct React Components in Leantheoric.com1 point·hargup··0 commentsOpen articleSaveView on HN