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-12 18:12:26 +01:00
parent 9fbdaa798e
commit ac68de0a26
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/pages/members.astro
View File

@ -121,12 +121,6 @@ const members = [
interests: "Archaic and contemporary philosophy (of mathematics), algebraic geometry, category theory",
affiliation: "Université Paris-Sorbonne"
},
{
name: "Vincent Moreau",
url: "https://www.irif.fr/~moreau/",
interests: "Category theory, type theory, denotational semantics, topology, algebra, proof assistants",
affiliation: "Université Paris Cité (IRIF)"
},
{
name: "François-René Rideau (Faré)",
interests: "",
@ -140,7 +134,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", "Tito", "Eric Patrizio"
"Alexis Toumi", "Baptiste Colin", "Léo", "Noé Ensarguet", "Tito", "Eric Patrizio", "Vincent Moreau"
];
---