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

Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs tha