Millillion/lasm
Lean for JavaScript and WebAssembly runtimes
38 best points · 23 comments · 2 Hacker News posts · 101 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge (38 points, 22 comments, by lastmjs, 2026-10-30)
- Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge (1 points, 1 comments, by lastmjs, 2026-10-29)