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

(github.com)

1 points | by hargup 8 hours ago ago