Template talk:Did you know nominations/Thierry Coquand

Hook modifications
GalliumBot (talk • contribs) (he/it) 11:25, 2 April 2023 (UTC)
 * ... that Thierry Coquand won a SIGPLAN award for his eponymous Coq proof assistant, which was used to find a formal proof of the four color theorem? [2023-04-02 at 08:11:24, by ]
 * ... that Thierry Coquand won a SIGPLAN award for his eponymous proof assistant Coq, which was used to find a formal proof of the four color theorem? [2023-04-02 at 10:29:25, by ]