IT·开源
介绍Lasm框架，允许开发者使用Lean语言编写经过形式化验证的Web应用程序，并支持将其部署到Node.js、Serverless及边缘计算环境。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。