实体 RealWorld

RealWorld

PulseAugur coverage of RealWorld — every cluster mentioning RealWorld across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_330785 · Oct 30 · 02:05

Lasm 将 Lean 4 编译为 WebAssembly 以实现经过验证的 web 应用

Lasm 是一款新工具，允许开发人员使用 Lean 4 编程语言编写经过形式验证的 Web 应用程序，并将其编译为 WebAssembly。这使得代码可以部署到各种 JavaScript 环境中，包括 Node.js、serverless 函数和边缘计算平台。该项目强调其证明已部署代码属性的能力，其旗舰示例展示了一个 RealWorld 应用的 117 个已验证定理。