🛠️ Lasm – Write formally verified webapps in Lean for Node/serverless/edge

Summary
Lasm brings the Lean programming language to browsers, Node, serverless, and edge environments. It allows developers to write and formally verify full-stack web applications from frontend to backend.

Why it’s interesting
It enables writing formally verified web applications in Lean for modern environments like Node, serverless, and the edge.

Target user
Software engineers and developers interested in formal verification and web application development

Source metrics: Points 5 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN