Perhaps cf. the theorem-proving assistant Coq, in which case the authors almost certainly knew exactly what they were doing, the idea apparently being that it is good and proper for Anglocentrism to make us uncomfortable in light of superior French scholarship. Still, the community has been quietly mulling a name change for a while [1].

[1] https://github.com/coq/coq/wiki/Alternative-names