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

1 pointsposted 8 hours ago
by hargup
(github.com)

No comments yet