Hacker News· lastmjs·· 3 小时前AI 评分58
Lasm 发布 0.3.5：把 Lean 4 编译为 WebAssembly 并部署到 Node、边缘与浏览器
Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge
AI 导读
Lasm 将普通 Lean 4 程序提前编译为 WebAssembly，同一份代码可产出 Node 服务、Serverless 或边缘函数、WASI/Fastly 模块和浏览器应用，当前版本为 @lasm/cli 0.3.5，固定使用 Lean 4.35.0。
来源：Hacker News · github.com