Newer version of Lean with WASM?

Stream: general

[Marvin]

the 4.6.x releases like https://github.com/leanprover/lean4/releases/tag/v4.6.1 include a lean-4.6.1-linux_wasm32.tar.zst WASM asset. I have been experimenting with it and having successful results with manipulating the DOM. But this version of lean is too old, lack important features.

None of the newer versions like 4.28 appear to feature a WASM asset. Are these no longer being implemented and released? Is there anything I can do to proceed with trying to get this working on a newer version?

[Marvin]

It looks like https://github.com/leanprover/lean4/releases/tag/v4.15.0 is the last release with WASM

[Kim Morrison]

WASM builds do not currently exist, and are not on the FRO roadmap. However people have been working on this! Please search the Zulip for recent threads (and maybe post what you find here as signposts for others).

[Marvin]

Is it feasible for me to try to build one myself? Is there a guide online somewhere, or examples of the procedure? I can likely feed the resources to an A.I editor to help me fill in the knowledge gaps as well, so any information is helpful.