Is there some way to get Isabelle running in a browser? For example, Lean provides a WebAssembly and JavaScript version.
Last updated: Jun 08 2025 at 08:25 UTC