Skip to Main content Skip to Navigation
Conference papers

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

Théo Zimmermann 1, 2
1 PI.R2 - Design, study and implementation of languages for proofs and programs
UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, Inria de Paris
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.
Complete list of metadatas

https://hal.inria.fr/hal-01951322
Contributor : Théo Zimmermann <>
Submitted on : Wednesday, December 12, 2018 - 9:14:06 AM
Last modification on : Friday, March 27, 2020 - 3:47:35 AM
Document(s) archivé(s) le : Wednesday, March 13, 2019 - 12:21:14 PM

File

OpenSym2018_paper_38-1.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

204

Files downloads

525