I found a site where I can use Coq in my browser: jsCoq Interactive Online System. Are there any major differences between the experience I'm getting on this site and the downloadable version(s)?
native_compute) are disabled. It also comes with a set of bundled libraries, which is similar in spirit to the Coq Platform, but different in terms of library choice and version numbers. Obviously, the GUI is also (very slightly) different to the various editors with Coq support that are out there.
jsCoq is developed at: https://github.com/jscoq/jscoq