lean4web
lean4web copied to clipboard
add non-linux support
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.