LeanReact-v0.1: A Lean 4 framework to write web applications

1 points | by hargup 8 hours ago