Template:Did you know nominations/Thierry Coquand