11
$\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)?

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

1 Answer 1

Reset to default
14
$\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

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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