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

 (github.com)

1 points | by hargup 2 hours ago

0 comments