lean4web icon indicating copy to clipboard operation
lean4web copied to clipboard
verified publisher icon leanprover-community

add non-linux support

Open joneugster opened this issue 1 year ago • 0 comments

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.

joneugster avatar Mar 15 '24 14:03 joneugster