15 citations · 15 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 15 cited
jsCoq: Towards Hybrid Theorem Proving Interfaces
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…
cs.PL2013
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo +1
We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on C…