热点事件历史事件
Lasm：用 Lean 编写正式验证的 Web 应用
1 篇报道1 个报道来源9 天前更新
先了解这件事
报道摘要
Lasm 是一个将 Lean 4 编译为 WebAssembly 的工具，允许开发者用 Lean 编写应用程序，并证明其关键部分，支持在多种平台如 Node.js、Bun、Deno、Cloudflare Workers、Vercel、Ne。
摘自 Hacker News
报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- Hacker NewsLasm：用 Lean 编写正式验证的 Web 应用
Lasm 是一个将 Lean 4 编译为 WebAssembly 的工具，允许开发者用 Lean 编写应用程序，并证明其关键部分，支持在多种平台如 Node.js、Bun、Deno、Cloudflare Workers、Vercel、Ne。