Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
13 points by lastmjs
Lasm aims to enable the development of formally verified web applications using the Lean programming language, which supports formal verification. The creator believes that advancements in large language models (LLMs) will facilitate this evolution in software engineering, making formal verification more accessible and effective.