10
$\begingroup$

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)?

$\endgroup$
1
  • $\begingroup$ For me it says "Failed to start jsCoq worker" when I open that page, so that would be one difference! $\endgroup$ Feb 8 at 18:39

1 Answer 1

13
$\begingroup$

jsCoq is based on the Coq source code (regularly updated to use newer Coq versions), compiled to Javascript (or WebAssembly) to run in the browser using js_of_ocaml. The main differences with running Coq on the desktop is that jsCoq is slower and that the fast reduction machines (vm_compute and 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

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.