name change for Elisabeth

UniMath · Nov 6, 2023 · dbe15d5 · dbe15d5
1 parent 37a77b6
commit dbe15d5
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 7 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -5,7 +5,7 @@ abstract: "The agda-unimath library is a community formalization project for uni
 authors:
   - family-names: "Rijke"
     given-names: "Egbert"
-  - family-names: "Bonnevier"
+  - family-names: "Stenholm"
     given-names: "Elisabeth"
   - family-names: "Prieto-Cubides"
     given-names: "Jonathan"

diff --git a/CITE-THIS-LIBRARY.md b/CITE-THIS-LIBRARY.md
@@ -5,7 +5,7 @@ BibTeX entry:
 
 ```text
 @software{agda-unimath,
-author = {Rijke, Egbert and Bonnevier, Elisabeth and Prieto-Cubides, Jonathan and Bakke, Fredrik and {others}},
+author = {Rijke, Egbert and Stenholm, Elisabeth and Prieto-Cubides, Jonathan and Bakke, Fredrik and {others}},
 license = {MIT},
 title = {{The agda-unimath library}},
 url = {https://github.com/UniMath/agda-unimath/}

diff --git a/CONTRIBUTORS.toml b/CONTRIBUTORS.toml
@@ -32,9 +32,9 @@ in Trondheim. His research is on homotopy theory and higher category theory.
 '''
 
 [[contributors]]
-displayName = "Elisabeth Bonnevier"
+displayName = "Elisabeth Stenholm"
 maintainer = true
-usernames = [ "Elisabeth Bonnevier" ]
+usernames = [ "Elisabeth Stenholm" ]
 homepage = "https://elisabeth.bonnevier.one"
 github = "elisabethbonnevier"
 bio = '''

diff --git a/HOME.md b/HOME.md
@@ -8,7 +8,7 @@ typed programming language [Agda](https://github.com/agda/agda).
 <img class="invertible-image" align="right" width="300" alt="agda-unimath" src="website/images/agda-unimath-logo.svg" />
 </a>
 
-The library project was created by Elisabeth Bonnevier, Jonathan Prieto-Cubides,
+The library project was created by Elisabeth Stenholm, Jonathan Prieto-Cubides,
 and Egbert Rijke, and is also maintained by Fredrik Bakke. Our goal is to create
 an online encyclopedia of formalized mathematics containing an extensive
 curriculum of topics from a univalent point of view. We think libraries of

diff --git a/README.md b/README.md
@@ -2,8 +2,8 @@
 
 The `agda-unimath` library is a community formalization project for univalent
 mathematics in [Agda](https://github.com/agda/agda). The library project was
-created by Elisabeth Bonnevier, Jonathan Prieto-Cubides, and Egbert Rijke, and
-is also being maintained by Fredrik Bakke. Our goal is to formalize an extensive
+created by Elisabeth Stenholm, Jonathan Prieto-Cubides, and Egbert Rijke, and is
+also being maintained by Fredrik Bakke. Our goal is to formalize an extensive
 curriculum of mathematics from the univalent point of view. Furthermore, we
 think libraries of formalized mathematics have the potential to be useful, and
 informative resources for mathematicians. Our library is designed to work