Emilio Jesús Gallego Arias

icon indicating a website link https://www.irif.fr/~gallego/ icon indicating an email [email protected]

icon company Inria icon location Paris icon location “La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Results 1554 comments of Emilio Jesús Gallego Arias

Generate "_CoqProject" files for Coq theories

> @ejgallego I added a changelog, but let's wait until we decide how to address the issues I raised in the description of the PR. I'd love to hear your...

Indentation based bullet behavior

> you forget about Haskell XD and Lean!

Indentation based bullet behavior

> the fact that a whole part of the Rocq ecosystem renounces to use semantic bullets / goal focusing because of this historical design choice In my case, I use...

JS Worker Meta Issue

With the merge of #1008 we have reached a first milestone, but still there are many things to improve in the JS/WASM backend, so I keep this issue open for...