Что означает V в расширении файла Coq?

Есть ли .v для проверки? Проверка? vamanos?

Почему бы не использовать расширение .coq ?