1. 15

Coq is compiled to JavaScript using the js_of_ocaml compiler.

  1.