Coq 定位战术符号
是否有可能找到Coq中定义的Coq 定位战术符号,coq,coq-tactic,Coq,Coq Tactic,是否有可能找到Coq中定义的战术符号 我知道可以使用locate Ltac basetac定位基本战术,非战术表示法以及locate“+”等查询来定位基本战术 对于我正在寻找的符号,我可以通过打印语法tractic在战术语法中看到它,但是有没有办法找到它的定义位置?恐怕到目前为止,您唯一的解决方案是使用grep。这是一个相关的问题。
战术符号
我知道可以使用locate Ltac basetac
定位基本战术,非战术表示法以及locate“+”
等查询来定位基本战术
对于我正在寻找的符号,我可以通过
打印语法tractic
在战术语法中看到它,但是有没有办法找到它的定义位置?恐怕到目前为止,您唯一的解决方案是使用grep
。这是一个相关的问题。