talosWasm interpreter in lean, designed for reasoning 131 15AGPL-3.0 last commit 2026-06-26 SourceAdd to my stackDiscuss Share:AboutWasm interpreter in lean, designed for reasoningLanguagesLean95.3%Astro1.6%CSS0.9%Rust0.6%Just0.5%TypeScript0.5%Shell0.4%JavaScript0.1%WebAssembly0%Contributors994116441111FeaturesDiscussNo features listed.Comments ThemeGitHub LightGitHub Light High ContrastGitHub Light Protanopia & DeuteranopiaGitHub Light TritanopiaGitHub DarkGitHub Dark High ContrastGitHub Dark Protanopia & DeuteranopiaGitHub Dark TritanopiaGitHub Dark DimmedPreferred color schemeTransparent DarkNoBorder LightNoBorder DarkNoBorder GrayRStudio CobaltPurple DarkGruvboxGruvbox DarkGruvbox LightCatppuccin LatteCatppuccin FrappéCatppuccin MacchiatoCatppuccin MochaFroCustom (experimental)