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 Karl Palmskog Alexander Serebrenik Théo Zimmermann

Published in: ITP (2023)