LeanReact-v0.1: A Lean 4 framework to write web applications
By hargup · 2026-09-06 · 1 points · 0 comments
https://github.com/theoriclabs/lean-react
By hargup · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews