Talk:Georges Gonthier

External links modified
Hello fellow Wikipedians,

I have just modified one external link on Georges Gonthier. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20130225023357/http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq to http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 08:23, 14 October 2017 (UTC)