15 citations · 15 across the 1 of their papers we have counts for
1 paper
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5-ECMAScript 2015 specification, and it is typical…