ReFL
/
refl.fr
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update members

This commit is contained in:
engboris 2025-12-11 19:26:21 +01:00
parent 65568f3b8c
commit 37182e5d97
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/pages/members.astro
View File

@ -12,8 +12,8 @@ const cofounders = [
name: "Pablo Donato 🌸",
url: "https://pablogician.refl.fr/",
role: "administrator",
interests: "Proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming",
affiliation: "Grothendieck Institute"
interests: "Proof theory, type theory, category theory, proof assistants, end-user programming",
affiliation: "Charles Institute"
},
{
name: "Boris Eng 🦖",
@ -132,12 +132,6 @@ const members = [
interests: "",
affiliation: ""
},
{
name: "Tito",
url: "https://nguyentito.eu/",
interests: "Links between linear logic and automata theory, combinatorics, computational complexity, algorithms",
affiliation: "CNRS & Aix-Marseille"
}
];
const visitors = [
@ -146,7 +140,7 @@ const visitors = [
"Quentin", "Gaël Deest", "Martin Tricaud", "Fadi Shawki", "Éliès Harington",
"Axel Kerinec", "Aloÿs Dufour", "Bernardo", "Anne-Laure", "Escherichia",
"Alexey", "Roman Perez", "Nico", "Chirine Laghjichi", "Jonty Male",
"Alexis Toumi", "Baptiste Colin", "Léo", "Noé Ensarguet"
"Alexis Toumi", "Baptiste Colin", "Léo", "Noé Ensarguet", "Tito", "Eric Patrizio"
];
---