热点事件历史事件
Lasm：用Lean形式化验证Web应用
1 篇报道1 个报道来源12 天前更新
先了解这件事
AI 综述
2026年10月30日，开发者lastmjs在Hacker News首页发布Show HN项目Lasm，该项目可将Lean语言带到浏览器、Node、serverless和edge环境，支持从前端到后端用Lean编写并形式化验证Web应用，例如运行在Cloudflare Workers上并对其规格做形式化验证的Express或Hono服务器。目前仅有一篇报道，尚无后续进展信息。
AI 根据报道生成 · 12 天前更新
最新进展10月30日 10:05
开发者lastmjs发布Show HN项目Lasm，支持用Lean编写并形式化验证Web应用。报道时间线
沿着报道，了解事件的不同侧面。
10月30日
- Hacker News · 首页开发者发布 Lasm：用 Lean 编写可形式化验证的 Web 应用
开发者 lastmjs 发布 Show HN 项目 Lasm，可将 Lean 语言带到浏览器、Node、serverless 和 edge 环境，支持从前端到后端用 Lean 编写并形式化验证 Web 应用，例如运行在 Cloudflare Workers 上并对其规格做形式化验证的 Express 或 Hono 服务器。