Hacker News51m agoenergy 112
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
image: Hacker News
Lean for JavaScript and WebAssembly runtimes. Contribute to Millillion/lasm development by creating an account on GitHub.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.