Zulip Chat Archive

Stream: lean4

Topic: WASM

Huỳnh Trần Khanh (Jul 01 2022 at 13:46):

How do I compile Lean 4 code to WASM?

Huỳnh Trần Khanh (Jul 01 2022 at 13:48):

I fully expect that I'd need to write some bindings.

Sebastian Ullrich (Jul 01 2022 at 13:58):

If you search for "wasm" in this stream, you will find comments describing the current state of WASM/Emscripten with Lean and what's still missing. There have been no changes since.

Eric Wieser (Jul 01 2022 at 15:24):

(here's one such thread: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/lol.20another.20WASM.20question/near/242308345)

Last updated: Dec 20 2023 at 11:08 UTC