France has a very mathy culture that emerges from institutions like the Ecole Normale Supérieure, and people like Gérard Huet, Xavier Leroy, Thierry Coquand, et

France has a very mathy culture that emerges from institutions like the Ecole Normale Supérieure, and people like Gérard Huet, Xavier Leroy, Thierry Coquand, etc. who have been among the top scientists in that domain for a while and have aggregated teams around them.