Lasm：将 Lean 4 编译为 WebAssembly 的 Web 开发工具

2026年10月30日，Lasm 在 Hacker News 首页发布 @lasm/cli 0.3.5，这是一款把 Lean 4 程序编译为 WebAssembly 的 Web 开发工具。据该报道，它可将普通 Lean 4 程序提前编译为 WebAssembly，同一份代码能产出 Node 服务、Serverless 或边缘函数、WASI/Fastly 模块以及浏览器应用，从而把 Lean 4 的适用范围从形式化验证扩展到 Web 部署场景。目前公开信息仅来自这一篇发布报道，尚无后续实测、性能数据或社区反馈，也未出现与早先报道矛盾的数字或说法。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。