Lasm is a new Show HN project that lets developers write formally verified web apps in Lean and run them on JavaScript and WebAssembly runtimes, including Node, serverless, and edge environments. The tool aims to bring Lean’s verification capabilities to mainstream web deployment targets.