Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. In Adam Naumowicz, René Thiemann, editors, 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland. Volume 268 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

This author has not been identified. Look up 'Ana de Almeida Borges' in GoogleThis author has not been identified. Look up 'Annalí Casanueva Artís' in GoogleThis author has not been identified. Look up 'Jean-Rémy Falleri' in GoogleThis author has not been identified. Look up 'Emilio Jesús Gallego Arias' in GoogleThis author has not been identified. Look up 'Érik Martin-Dorel' in GoogleThis author has not been identified. Look up 'Karl Palmskog' in GoogleThis author has not been identified. It may be one of the following persons:

Alexander Serebrenik

Look up 'Alexander Serebrenik' in GoogleThis author has not been identified. Look up 'Théo Zimmermann' in Google

runs on WebDSL