• Aucun résultat trouvé

Challenges in the collaborative evolution of a proof language and its ecosystem

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Challenges in the collaborative evolution of a proof language and its ecosystem"

Copied!
196
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Figure 3.1: Contributors to the Coq GitHub repository. Each dot represents a contributor
Figure 3.2: Pull requests on the Coq GitHub repository grouped by author. All the pull requests opened by the same contributor are grouped at the same vertical position (and their horizontal position denotes the date when they were opened)
Figure 3.3: Number of pull requests opened per day by main developers and by other contributors
Table 3.1: Estimated effects of the introduction of the “needs: documentation” label on the presence of documentation, and of the “needs: CHANGES” label on the presence of a changelog entry
+7

Références

Télécharger maintenant ( PDF - 196 Page - 2.57 MB )

Documents relatifs