15 citations · 15 across the 6 of their papers we have counts for
1 paper · 1 filter
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…