Toolsinfo
Lasm targets formally verified web apps in Lean
Original title: Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
AI summary · x-ai/grok-4.7Summaries by Vani AI
The Hacker News post has 21 points and 3 comments; the feed gives no technical or release details.
A Hacker News post titled Lasm says it is for writing formally verified web apps in Lean for Node, serverless and edge deployments. The available feed text only lists a score of 21 points and 3 comments. No features, license, release status or security claims are included.
Unconfirmed: Only the title and Hacker News score were available.
- Products
- Lasm
From the original article
By lastmjs · github.com
This source shares headlines only. Summary, key facts and assessment above are AI-written from the article and can be wrong.