Challenges in the collaborative development of a complex mathematical software and its ecosystem - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

Challenges in the collaborative development of a complex mathematical software and its ecosystem

Abstract

This is a contribution to the OpenSym 2018 Doctoral Symposium. This paper describes my PhD objectives. As an insider in the Coq development team, I've worked at making the release process of the Coq proof assistant smoother and more automated, at opening the development to external contributions, and at shaping the ecosystem around Coq. I'm intending to evaluate how well-known software engineering techniques and results about open source software communities apply in the specific case of the proof assistant I'm studying.
Fichier principal
Vignette du fichier
OpenSym2018_paper_38-1.pdf (380.81 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01951322 , version 1 (12-12-2018)

Identifiers

Cite

Théo Zimmermann. Challenges in the collaborative development of a complex mathematical software and its ecosystem. OpenSym 2018 - 14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩. ⟨hal-01951322⟩
94 View
104 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More