LeanReact: Expressing Composable and Correct React Components in Lean

(theoric.com)

1 points | by hargup 11 hours ago ago