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

- Source: Hacker News
- Published: 2026-10-30T02:05:41+00:00
- Category: Tech
- Original: https://github.com/Millillion/lasm
- Canonical: https://groundlevelnews.com/story/show-hn-lasm-write-formally-verified-webapps-in-lean-for-node-serverle-f3e49f/

Comments

_Ground Level News shows a short summary only; the full article and all rights belong to Hacker News._