Get the latest tech news
Show HN: Talos – Open-source WASM interpreter for Lean
Wasm interpreter in lean, designed for reasoning. Contribute to cajal-technologies/talos development by creating an account on GitHub.
None
Or read this on Hacker NewsRead more on:
Related news:
