+ citation

coq-community · Jul 19, 2024 · c31d5b7 · c31d5b7
1 parent a1e0150
commit c31d5b7
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -0,0 +1,15 @@
+cff-version: 1.2.0
+authors:
+  - family-names: Cohen
+    given-names: Cyril
+    orcid: https://orcid.org/0000-0003-3540-1050
+  - family-names: Crance
+    given-names: Enzo
+    orcid: https://orcid.org/0000-0002-0498-0910
+  - family-names: Mahboubi
+    given-names: Assia
+    orcid: https://orcid.org/0000-0002-0312-5461
+title: "Trocq"
+identifiers:
+  - type: doi
+    value: 10.5281/zenodo.10492403