For a webextension/waterproof-browser, it would be really nice to have a WASM build of the Lean toolchain.
There's been some progress: #lean4 > xeus-lean: A Jupyter kernel with the main loop in Lean 4 towards a Jupiter kernel
Acceptance criteria:
- Answer to: Is his switch to single threading needed for our use case? (Personal suspicion: No, and multithreading is pretty useful to a good user experience)
- Either:
- A repository with a submodule/reference to a particular recent core Lean commit/version, with a setup that produces a WASM build that would be suitable for waterproof-browser
- Documentation on why this is not feasible for now.
For a webextension/waterproof-browser, it would be really nice to have a WASM build of the Lean toolchain.
There's been some progress: #lean4 > xeus-lean: A Jupyter kernel with the main loop in Lean 4 towards a Jupiter kernel
Acceptance criteria: