From 0fd08152bae34e0c15e3634c2e4f80024bb61461 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Fri, 24 Nov 2023 20:11:49 +0100 Subject: [PATCH] Update maintainer sentences (#942) Mention all the current maintainers in the docs. --- CONTRIBUTORS.toml | 2 +- HOME.md | 14 +++++++------- README.md | 12 ++++++------ 3 files changed, 14 insertions(+), 14 deletions(-) diff --git a/CONTRIBUTORS.toml b/CONTRIBUTORS.toml index f8dc52ecb9..d6d83d248b 100644 --- a/CONTRIBUTORS.toml +++ b/CONTRIBUTORS.toml @@ -28,7 +28,7 @@ homepage = "https://www.ntnu.edu/employees/fredrik.bakke" github = "fredrik-bakke" bio = ''' Fredrik is a PhD student at the Norwegian University of Science and Technology -in Trondheim. His research is on homotopy theory and higher category theory. +in Trondheim. His research is on homotopy type theory and higher category theory. ''' [[contributors]] diff --git a/HOME.md b/HOME.md index 0e166c154a..a62ee328b3 100644 --- a/HOME.md +++ b/HOME.md @@ -9,13 +9,13 @@ typed programming language [Agda](https://github.com/agda/agda). 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 -formalized mathematics have the potential to be useful, and informative -resources for both working and learning mathematicians. Our library is designed -to work towards this goal, and we welcome contributions to the library within -any topic in mathematics. +and Egbert Rijke, and is currently being maintained by Egbert Rijke, Fredrik +Bakke, and Vojtěch Štěpančík. 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 formalized mathematics have the +potential to be useful, and informative resources for both working and learning +mathematicians. Our library is designed to work towards this goal, and we +welcome contributions to the library within any topic in mathematics. The `agda-unimath` library is compatible with Agda 2.6.3 and can be compiled by running `make check` from the root directory of the repository. Learn more about diff --git a/README.md b/README.md index c50693976a..7140f122a3 100644 --- a/README.md +++ b/README.md @@ -3,12 +3,12 @@ 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 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 -towards this goal, and we welcome contributions to the library about any topic -in mathematics. +currently being maintained by Egbert Rijke, Fredrik Bakke, and Vojtěch +Štěpančík. 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 towards this goal, and we +welcome contributions to the library about any topic in mathematics. ## Links