bot/CITATION.cff at master · rocq-prover/bot · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
- affiliation: Inria
  family-names: Zimmermann
  given-names: "Théo"
  orcid: "https://orcid.org/0000-0002-3580-8806"
- family-names: Coolen
  given-names: Julien
- affiliation: MIT
  family-names: Gross
  given-names: Jason
title: "Coqbot"
version: "0.2.0"
date-released: 2020-09-09
url: "https://github.com/coq/bot"
license: MIT
preferred-citation:
  type: article
  authors:
  - family-names: "Zimmermann"
    given-names: "Théo"
    orcid: "https://orcid.org/0000-0002-3580-8806"
  - family-names: "Coolen"
    given-names: "Julien"
  - family-names: "Gross"
    given-names: "Jason"
    orcid: "https://orcid.org/0000-0002-9427-4891"
  - family-names: "Pédrot"
    given-names: "Pierre-Marie"
    orcid: "https://orcid.org/0009-0002-8006-6239"
  - family-names: "Gilbert"
    given-names: "Gaëtan"
    orcid: "https://orcid.org/0009-0008-0626-3078"
  doi: "10.1109/MS.2022.3179773"
  journal: "IEEE Software"
  start: 32 # First page number
  end: 37 # Last page number
  title: "The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report"
  issue: 5
  volume: 39
  year: 2022