Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge

(github.com) by lastmjs | Oct 29, 2026 | 1 comments on HN