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

Research output: Contribution to conference › Abstract › Academic

Fingerprint

Dive into the research topics of 'Coq Community Survey 2022: Summary of Results'. Together they form a unique fingerprint.

Mathematics