Template talk:Did you know nominations/Thierry Coquand

From WikiProjectMed

< Template talk:Did you know nominations

Jump to navigation Jump to search

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]

GalliumBot (talk • contribs) (he/it) 11:25, 2 April 2023 (UTC)[reply]

Retrieved from "https://mdwiki.org/wiki/Template_talk:Did_you_know_nominations/Thierry_Coquand"