> in a world where the lingua franca (pun intended) is English
That would be for computing in general. When it comes to proving software, France's academia seems to be one of the few that takes "making working software" as a serious development for the future (maybe because of airplanes and nuclear power plants). They're actually in the forefront here, if not leading.
The correct response to "Coq sounds funny in English" should be:
That would be for computing in general. When it comes to proving software, France's academia seems to be one of the few that takes "making working software" as a serious development for the future (maybe because of airplanes and nuclear power plants). They're actually in the forefront here, if not leading.
The correct response to "Coq sounds funny in English" should be:
"Maybe just learn French?".