§ 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)