File 在Coq文件扩展名中,V代表什么?
File 在Coq文件扩展名中,V代表什么?,file,coq,File,Coq,.v是否用于验证?验证?瓦马诺斯 为什么不使用.coq扩展名?在他们称之为“文件”的文档中。coq中有两种语言: ,术语语言,以及 一种叫做 特别是: 本章介绍Coq的规范语言Gallina。它允许发展数学理论和程序规范的证明。这些理论是由公理、假设、参数、引理、定理以及常数、函数、谓词和集合的定义构成的。第1.2节描述了理论中涉及的逻辑对象的语法。第1.3节描述了被称为白话文的命令语言 相应的文件扩展名为: .g用于Gallina文件,删除校样后(另请参见) .v用于本地文件
.v
是否用于验证?验证?瓦马诺斯
为什么不使用
.coq
扩展名?在他们称之为“文件”的文档中。coq中有两种语言:
.g
用于Gallina文件,删除校样后(另请参见).v
用于本地文件