Thierry Coquand Emojis

We've searched our database for all the emojis that are somehow related to Thierry Coquand. Here they are! There are 2 of them, and the most relevant ones appear first.