Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
Lasm is an open-source toolchain, released under MIT, that compiles ordinary Lean 4 programs ahead of time to WebAssembly so one codebase can ship as a Node server, serverless or edge function, WASI or Fastly module, or browser app.