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

Ana de Almeida Borges, Annal Casanueva Arts, Jean-Rmy Falleri, Emilio Jess Gallego Arias, rik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Tho Zimmermann

Browse the full ITP paper archive.