.V Extensión de archivo

Archivo de desarrollador utilizado por Coq, una aplicación para desarrollar demostraciones matemáticas; se guarda en formato de texto y contiene código fuente escrito en el lenguaje Gallina, que se basa en un lenguaje formal expresivo llamado Cálculo de Construcciones Inductivas (CIC); se utiliza para almacenar demostraciones matemáticas.

Los desarrolladores especifican expresiones en los archivos V utilizando el «vernáculo» de Gallina, que es la sintaxis, o lenguaje de comandos, del lenguaje Gallina. Una vez escritos, los archivos V se pueden compilar y ejecutar con el entorno de desarrollo integrado Coq Proof Assistant, cuyo nombre de programa es CoqIDE.

NOTA: El desarrollo de Coq, que anteriormente estaba a cargo de The Coq Development Team, ahora está a cargo de ADT Coq. ADT significa «Action for Technological Development».

Un archivo V contiene código fuente escrito en el lenguaje de programación V. Normalmente, un archivo V contiene un programa o módulo de V.

Puedes abrir un archivo V y editar su contenido con cualquier editor de texto o de código fuente. Los editores de código fuente, como Microsoft Visual Studio Code y GitHub Atom, incluyen herramientas útiles que facilitan la lectura y edición de archivos V.

Si tu archivo V contiene un programa, puedes ejecutarlo mediante el comando run de V.

Archivo de imagen "V" sin formato creado por ppmtoyuvsplit, un programa basado en Unix que se utiliza para dividir imágenes Portable PixMap (.PPM files) en .Y, .U y archivos V; almacena el componente de crominancia, o color, de la imagen; puede restaurarse al archivo PPM original mediante la utilidad yuvsplittoppm.

Los archivos V almacenan datos de imagen en un formato necesario para el códec MPEG de Stanford.

NOTA: Las utilidades de línea de comandos yuvsplittoppm y ppmtoyuvsplit forman parte del paquete de gráficos basado en Unix netpbm.