Aiden Bai 开源 TLA-ts：TypeScript 版 TLA+ 检查器提速 2 倍

Aiden Bai 发布并开源 TLA-ts，一个用 100% TypeScript 编写的 TLA+ 解释器与模型检查器。它可作为官方 Java 版 TLC 的 drop-in 替代品直接使用，速度号称提升约 2 倍。该项目为 TLA+ 形式化验证工具链提供了更轻量的新选择，受到开发者社区关注。

2026-10-29 ~ 2026-10-29 · 2 条相关

• Aiden Bai 发布 TLA-ts：纯 TypeScript 重写 TLC，模型检查提速 2 倍 — aidenybai · 2026-10-29

另有 1 条近重复转述:aidenybai