Talos – Open-source WASM interpreter for Lean

Talos 是一个开源的 WASM 解释器，专为 Lean 证明系统设计，支持在浏览器或轻量环境中运行 Lean 代码，适合形式化验证与教育研究。