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

LeanReact‑v0.1 is a lightweight Lean 4 framework that enables rapid development of web applications using a declarative style. To adopt it, simply add the packa