World Wires · story 90209 · unverified · 1 source(s)

Show HN: Lasm – Formally Verified Webapps in Lean

A developer introduced Lasm, a tool for writing formally verified web applications using Lean for Node, serverless, and edge environments.

Open in the desk

Coverage

What this site indexes