LeanReact-v0.1: A Lean 4 framework to write web applications (github.com) 1 points by hargup 7d ago ↗ HN
0 comments
[ 1.4 ms ] story [ 4.9 ms ] threadNo comments yet.