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

Onderzoeksoutput: Bijdrage aan congresAbstractAcademic

Vingerafdruk

Duik in de onderzoeksthema's van 'Coq Community Survey 2022: Summary of Results'. Samen vormen ze een unieke vingerafdruk.

Mathematics