Lasm 发布 0.3.5 版本，支持将 Lean 程序编译为 Web 应用
热点事件持续更新
Lasm 发布 0.3.5 版本，支持将 Lean 程序编译为 Web 应用
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Lasm 0.3.5 版本已正式发布，该工具链允许开发者在 Lean 4 中编写经形式化验证的 Web 应用，并将其提前编译为 WebAssembly。 该工具内置 Lean、Lake 及构建工具，支持将单一 Lean 代码库部署为 Node 服务、serverless/edge 函数、WASI 模块或浏览器应用，并提供多种模板与多平台部署支持。
AI 根据报道生成 · 2 小时前更新
最新进展10月30日 10:05
Lasm：在 Lean 中编写经形式化验证的 Node、serverless 与 edge Web 应用报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- Hacker News-首页精选Lasm：在 Lean 中编写经形式化验证的 Node、serverless 与 edge Web 应用
Lasm 是一个将 Lean 4 程序提前编译为 WebAssembly 的工具链，支持将单一 Lean 代码库部署为 Node 服务、serverless/edge 函数、WASI 模块或浏览器应用。该工具内置 Lean、Lake 及构建工具，并结合了形式化定理证明能力，提供多种模板与多平台部署支持。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。