Yhn BusinessBanking first seen 12 d ago, last 5 d ago, peak #2
Lasm brings formally verified web apps in Lean to JavaScript runtimes
Original: Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
A developer has released Lasm, an open-source project that lets programmers write formally verified web applications in the Lean theorem prover and run them on Node.js, serverless platforms and edge runtimes. The project, hosted on GitHub, aims to bring mathematical proofs of correctness to ordinary web development, and it is drawing attention among programmers interested in verified software.
Why now: Formal verification is rarely practical for everyday web development, so a tool promising Lean-verified apps on common JavaScript runtimes is attracting curiosity and debate
Rank over time, top of the chart is #1. 711 snapshots from 12 d ago to 5 d ago.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/4191704