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

Update website of members

This commit is contained in:
engboris 2025-04-06 14:27:28 +02:00
parent 781f4f1ffd
commit 79cae99b43
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/members.md
View File

@ -5,8 +5,8 @@ title: "Members"
# Co-founders
- [Davide Barbarossa](https://davidebarbarossa12.github.io/index.html)<div class="desc-box">Lambda-calculus, type theory, linear logic, category theory, classical realizability, philosophy of mathematics -- Università di Bologna</div>
- [Pablo Donato 🌸](http://www.lix.polytechnique.fr/Labo/Pablo.DONATO/) (administrator)<div class="desc-box">proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute</div>
- [Boris Eng 🦖](https://www.engboris.fr) (administrator, coordinator)<div class="desc-box">Transcendental syntax, proof theory, linear logic -- R&D engineer at OCamlPro</div>
- [Pablo Donato 🌸](https://pablogician.refl.fr/) (administrator)<div class="desc-box">proof theory, type theory, topos theory, proof assistants, human-computer interaction, end-user programming -- Grothendieck Institute</div>
- [Boris Eng 🦖](https://engboris.refl.fr) (administrator, coordinator)<div class="desc-box">Transcendental syntax, proof theory, linear logic -- R&D engineer at OCamlPro</div>
- [Valentin Maestracci](https://vmaestracci.github.io/)<div class="desc-box">Lambda-calculus, type theory, homotopy type theory, Dedukti, directed homotopy theory, rewriting -- Université Aix-Marseille</a>
# Members