Select Topic (
TAB
,
,
)
Type
#
to select from topics
<
B
/
>
Search
Ctrl K
About
Lean and WASM
Started
Last edited
§
Notes
§
Links
Lean 4 | wasm build | Zulip team chat
Lean 4 | lean.js | Zulip team chat
GitHub - T-Brick/lean2wasm: Tool for compiling Lean to WASM · GitHub
(shouldn’t work right now, if the lean.js thread is right)