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

LeanReact‑v0.1 — это легковесный фреймворк на Lean 4, позволяющий быстро создавать веб‑приложения с использованием декларативного подхода. Для практического вне