Template talk:Did you know nominations/Thierry Coquand
Latest comment: 1 year ago by GalliumBot in topic Hook modifications
Hook modifications
edit- ... 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 Cielquiparle]
- ... 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 Ravenpuff]
GalliumBot (talk • contribs) (he/it) 11:25, 2 April 2023 (UTC)