.V Extensão de arquivo

Arquivo de desenvolvedor usado pelo Coq, um aplicativo usado para desenvolver provas matemáticas; salvo em formato de texto e contém código-fonte criado na linguagem Gallina, que se baseia em uma linguagem formal expressiva chamada Cálculo das Construções Indutivas (CIC); usado para armazenar provas matemáticas.

Os desenvolvedores especificam expressões em arquivos V usando o "vernáculo" Gallina, que é a sintaxe, ou linguagem de comandos, da linguagem Gallina. Depois que os arquivos V são escritos, eles podem ser compilados e executados com o ambiente de desenvolvimento integrado Coq Proof Assistant, cujo nome do programa é CoqIDE.

NOTA: O desenvolvimento do Coq, que anteriormente era mantido pela The Coq Development Team, agora é mantido pela ADT Coq. ADT significa "Action for Technological Development."

Um arquivo V contém código-fonte escrito na linguagem de programação V. Normalmente, um arquivo V contém um programa ou módulo V.

Você pode abrir um arquivo V e editar seu conteúdo usando qualquer editor de texto ou de código-fonte. Editores de código-fonte, como Microsoft Visual Studio Code e GitHub Atom, contêm ferramentas úteis que facilitam a leitura e a edição de arquivos V.

Se o seu arquivo V contiver um programa, você poderá executá-lo usando o comando run do V.

Arquivo de imagem "V" bruto criado pelo ppmtoyuvsplit, um programa baseado em Unix usado para dividir imagens Portable PixMap (arquivos .PPM) em arquivos .Y, .U e V; armazena o componente de crominância, ou cor, "V" da imagem; pode ser restaurado ao arquivo PPM original usando o utilitário yuvsplittoppm.

Os arquivos V armazenam dados de imagem em um formato exigido pelo codec MPEG de Stanford.

NOTA: Os utilitários de linha de comando yuvsplittoppm e ppmtoyuvsplit fazem parte do pacote gráfico netpbm baseado em Unix.