1. 15
    jscoq: A port of Coq to JavaScript ☶ compsci github.com
    sanxiyn avatar via sanxiyn 1 year ago | cached | no comments

Coq is compiled to JavaScript using the js_of_ocaml compiler.

  1.