Hacker News · 首页· lastmjs·· 6 小时前AI 评分63
Lasm 发布：把 Lean 4 程序编译为 WebAssembly，可部署到 Node、Serverless 与边缘
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
AI 导读
Lasm 发布 @lasm/cli 0.3.5，可将普通 Lean 4 程序提前编译为 WebAssembly，同一份代码产出 Node 服务、Serverless 或边缘函数、WASI/Fastly 模块和浏览器应用。
来源：Hacker News · 首页 · github.com