.V Bestandsextensie

Ontwikkelaarsbestand dat door Coq wordt gebruikt, een toepassing voor het ontwikkelen van wiskundige bewijzen; opgeslagen in een tekstindeling en bevat broncode die is opgesteld in de taal Gallina, die is gebaseerd op een expressieve formele taal met de naam Calculus of Inductive Constructions (CIC); wordt gebruikt voor het opslaan van wiskundige bewijzen.

Ontwikkelaars specificeren expressies in V-bestanden met behulp van de "vernacular" van Gallina, de syntaxis, oftewel de commandotaal, voor de taal Gallina. Zodra V-bestanden zijn geschreven, kunnen ze worden gecompileerd en uitgevoerd met de Coq Proof Assistant IDE, die de programmanaam CoqIDE heeft.

OPMERKING: De ontwikkeling van Coq, die eerder werd onderhouden door The Coq Development Team, wordt nu onderhouden door ADT Coq. ADT staat voor "Action for Technological Development."

Een V-bestand bevat broncode die is geschreven in de programmeertaal V. Een V-bestand bevat doorgaans een V-programma of -module.

Je kunt een V-bestand openen en de inhoud ervan bewerken met elke teksteditor of broncode-editor. Broncode-editors, zoals Microsoft Visual Studio Code en GitHub Atom, bevatten handige hulpmiddelen waarmee je V-bestanden gemakkelijker kunt lezen en bewerken.

Als je V-bestand een programma bevat, kun je het programma uitvoeren met de opdracht run van V.

Raw "V"-afbeeldingsbestand dat is gemaakt door ppmtoyuvsplit, een op Unix gebaseerd programma dat Portable PixMap-afbeeldingen (.PPM-bestanden) splitst in .Y-, .U- en V-bestanden; bevat de "V"-chrominantie- of kleurcomponent van de afbeelding; kan met het hulpprogramma yuvsplittoppm worden teruggezet naar het oorspronkelijke PPM-bestand.

V-bestanden slaan afbeeldingsgegevens op in een indeling die vereist is door de Stanford MPEG-codec.

OPMERKING: De opdrachtregelhulpprogramma's yuvsplittoppm en ppmtoyuvsplit maken deel uit van het op Unix gebaseerde grafische pakket netpbm.