2 search results for "author:"Emilio Jesús Gallego Arias""

Showing 1 - 2
  1. coq-lsp
    Documentation
    Language Server Protocol native server for Coq
    Emilio Jesús Gallego Arias <e@x80.org> Ali Caglayan <alizter@gmail.com> Shachar Itzhaky <shachari@cs.technion.ac.il> Ramkumar Ramachandra <r@artagnon.com>
    0.1.9+8.18
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jun 2024
  2. coq-serapi
    Documentation
    Serialization library and protocol for machine interaction with the Coq proof assistant
    Emilio Jesús Gallego Arias Karl Palmskog Clément Pit-Claudel Kaiyu Yang
    8.19.0+0.19.3
    LGPL-2.1-or-later
    Used by 1 other packages
    03 May 2024