Accéder directement au contenu

Érik Martin-Dorel

1
Documents
Identifiants chercheurs

Présentation

Brought to you by HAL.
Brought to you by HAL.

Publications

"emilio-jesus-gallego-arias"
Image document

Coq Community Survey 2022: Summary of Results

Ana de Almeida Borges , Jean-Rémy Falleri , Jim Fehrle , Emilio Jesús Gallego Arias , Érik Martin-Dorel
13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel.
Document associé à des manifestations scientifiques hal-03914602v1