Hacker News Show HN· lastmjs·· 4 小时前AI 评分34
Lasm：用 Lean 4 编写可形式化验证的 Web 应用，编译到 Node、Serverless 与 Edge
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
AI 导读
Lasm 把普通 Lean 4 程序提前编译成 WebAssembly，同一份代码可产出 Node 服务、serverless/edge 函数、WASI/Fastly 模块或浏览器应用，并能为部署代码证明性质。
来源：Hacker News Show HN · github.com