Template talk:Did you know nominations/Thierry Coquand

Hook modifications

... 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]