Stream: General

Topic: Online Isabelle

view this post on Zulip Kevin Kappelmann (Aug 30 2019 at 10:12):

Is there some way to get Isabelle running in a browser? For example, Lean provides a WebAssembly and JavaScript version.

Last updated: May 01 2026 at 16:59 UTC