LeanReact: Expressing Composable and Correct React Components in Lean

1 points | by hargup an hour ago

No comments yet