cajal-technologies/talos

Wasm interpreter in lean, designed for reasoning

106 best points · 28 comments · 1 Hacker News post · 192 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Talos – Open-source WASM interpreter for Lean (106 points, 28 comments, by mfornet, 2026-06-18)