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

 (github.com)

106 points | by mfornet 7 days ago ago

27 comments