From 9fbdaa798ef3257342b7c6126a14ed1ca77b5d17 Mon Sep 17 00:00:00 2001 From: engboris Date: Thu, 11 Dec 2025 19:37:43 +0100 Subject: [PATCH] Update members --- src/pages/members.astro | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pages/members.astro b/src/pages/members.astro index 4dee1ab..1fb0f8c 100644 --- a/src/pages/members.astro +++ b/src/pages/members.astro @@ -13,7 +13,7 @@ const cofounders = [ url: "https://pablogician.refl.fr/", role: "administrator", interests: "Proof theory, type theory, category theory, proof assistants, end-user programming", - affiliation: "Charles Institute" + affiliation: "Charles University" }, { name: "Boris Eng 🦖",