Historical history: what does .v (the file extension) stand for?
Vernacular?
2 Likes
Yes. It stands for vernacular. But there is also gallina which stands for Coq format without tactics I think.