← Back to feed

Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge

IT·开源 · 2026-10-29 14:51

介绍Lasm框架，允许开发者使用Lean语言编写经过形式化验证的Web应用程序，并支持将其部署到Node.js、Serverless及边缘计算环境。

Source: github.com

Auto-generated summary for reference only. RSS