LeanReact: Expressing Composable and Correct React Components in Lean

1 pointsposted 11 hours ago
by hargup
(theoric.com)

No comments yet