Run Exo on the web

[jrk]

Options:

• Full Python + Z3 in the browser
  • https://github.com/python-emscripten/python
  • https://github.com/pyodide/pyodide
  • https://github.com/cpitclaudel/z3.wasm
• Build SYSTL mode for Godbolt
• Roll our own sandboxing scheme for executing people's code