Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

Lean for JavaScript and WebAssembly runtimes. Contribute to Millillion/lasm development by creating an account on GitHub.