On: Show HN: Talos – Open-source WASM interpreter for Lean

[snthpy]

Ha ha my brain read that as "Lean interpretor in WASM".

Actually i think it's the "for" in the title that's at fault. The repo title is quite clear, but the submission title is ambiguous to me.