Brian E. Aydemir Arthur Charguéraud Thierry Coquand Herman Geuvers John Longley Benjamin C. Pierce Makoto Takeyama Stephanie Weirich Freek Wiedijk Jan Zwanenburg