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

2
src/pages/members.astro
View File

@ -13,7 +13,7 @@ const cofounders = [
url: "https://pablogician.refl.fr/", url: "https://pablogician.refl.fr/",
role: "administrator", role: "administrator",
interests: "Proof theory, type theory, category theory, proof assistants, end-user programming", interests: "Proof theory, type theory, category theory, proof assistants, end-user programming",
affiliation: "Charles Institute" affiliation: "Charles University"
}, },
{ {
name: "Boris Eng 🦖", name: "Boris Eng 🦖",