11 citations · 16 across the 3 of their papers we have counts for
5 papers
Advantages of maintaining a multi-task project-specific bot: an experience report
Théo Zimmermann, Julien Coolen, Jason Gross +2
Bots are becoming a popular method for automating basic everyday tasks in many software projects. This is true in particular because of the availability of many off-the-shelf task-…
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
Karl Palmskog, Enrico Tassi, Théo Zimmermann
The Coq Platform is a continuously developed distribution of the Coq proof assistant together with commonly used libraries, plugins, and external tools useful in Coq-based formal v…
A grounded theory of Community Package Maintenance Organizations-Registered Report
Théo Zimmermann, Jean-Rémy Falleri
a) Context: In many programming language ecosystems, developers rely more and more on external open source dependencies, made available through package managers. Key ecosystem pack…
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
Théo Zimmermann
One of the biggest strength of many modern programming languages is their rich open source package ecosystem. Indeed, modern language-specific package managers have made it much ea…
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant
Théo Zimmermann, Hugo Herbelin
In mathematics, it is common practice to have several constructions for the same objects. Mathematicians will identify them modulo isomorphism and will not worry later on which con…