Hacker News · 首页· lastmjs·· 16 天前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 · 首页 · github.com