This is the correct answer if you are truly unable to say "Coq".
If you need a precedent for multiple ways to refer to the same language, SQL has your back.