Zulip Chat Archive

Stream: lean4

Topic: Compilation to wasm

metakuntyyy (Dec 02 2025 at 18:31):

The old lean3 editor was fully client side and the lean4 editor has server/client architecture. Is there a possibility to have lean4 compiled for wasm or are there technical difficulties?

Henrik BΓΆving (Dec 02 2025 at 18:33):

What "old lean 3 editor" are you referring to here?

metakuntyyy (Dec 02 2025 at 21:09):

This one

πš πš˜πš“πšŒπš’πšŽπšŒπš‘ πš—πšŠπš πš›πš˜πšŒπš”πš’ (Dec 02 2025 at 21:23):

See e.g. here (and other discussions of WASM can be found by searching the Zulip).

Last updated: Dec 20 2025 at 21:32 UTC