Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

2 Results
authFullName_s : Alexander Serebrenik
Image document

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Ana de Almeida Borges , Annalí Casanueva Artís , Jean-Rémy Falleri , Emilio Jesús Gallego Arias , Érik Martin-Dorel , et al.
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩
Conference papers hal-04098856v2
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 , et al.
13th installment of the Coq Workshop series (Coq workshop 2022), Aug 2022, Haifa, Israel.
Documents associated with scientific events hal-03914602v1