From dbe15d579d53fdd1b0f4461ed5ac8f9fd391e5fd Mon Sep 17 00:00:00 2001 From: Egbert Rijke Date: Mon, 6 Nov 2023 10:32:56 -0500 Subject: [PATCH] name change for Elisabeth --- CITATION.cff | 2 +- CITE-THIS-LIBRARY.md | 2 +- CONTRIBUTORS.toml | 4 ++-- HOME.md | 2 +- README.md | 4 ++-- 5 files changed, 7 insertions(+), 7 deletions(-) diff --git a/CITATION.cff b/CITATION.cff index aed2923beb..52578fcf27 100644 --- 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 index 6137bf4cfc..060016e665 100644 --- 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 index a631759185..263c8962fb 100644 --- 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 index 712b274721..0e166c154a 100644 --- a/HOME.md +++ b/HOME.md @@ -8,7 +8,7 @@ typed programming language [Agda](https://github.com/agda/agda). agda-unimath -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 index dfa5f27309..c50693976a 100644 --- 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