leanprover-community / lean4web

The Lean 4 web editor
https://live.lean-lang.org/
Apache License 2.0
52 stars 14 forks source link

add non-linux support #20

Open joneugster opened 3 months ago

joneugster commented 3 months ago

bubblewrap seems to be the major limiting factor that this cannot be run on anything but linux. Probably would be good to default to not using bubblewrap if it does not exist.