pamellies's Following
- aarnerantaUniversity of Gothenburg
- akirahayakawaTrinity College Dublin
- alfredgalichon
- aljungstrom
- AndrasKovacs
- cesaramh
- coq
- danqiPrinceton University
- degroote
- didierbuchsUniversity of Geneva
- faabian
- gabriel951Brazil
- gares@coq @math-comp @LPCIC
- ggonthierInria
- GrammaticalFrameworkGöteborg, Sweden
- haselwarterAarhus University
- hkproj
- igarnierParis, France
- jean-zay-users
- jianqiaomo
- jserot
- kyouko-taigaNortheastern University
- lab156
- loic-p
- LPCIC
- mortbergSweden
- nocotanThe University of Melbourne
- PeterKoepke
- qipeng
- sacerdotAlma Mater Studiorum - Universitá di Bologna
- samsa1INRIA
- stanfordnlpStanford, CA
- statusfailed
- tdozat
- v-moreauParis, France
- yininghu10