2 search results for "author:"Emilio Jesús Gallego Arias""
Showing 1 - 2
-
Language Server Protocol native server for Coq0.1.8+8.19LGPL-2.1-or-laterUsed by 0 other packages06 Feb 2024
-
Serialization library and protocol for machine interaction with the Coq proof assistant8.19.0+0.19.1LGPL-2.1-or-laterUsed by 1 other packages26 Feb 2024