图书馆提供的自定义策略

Question

有没有办法从 Coq 内部查看库提供的所有自定义策略？ 使用搜索来搜索它们不起作用。

Answer 1

您可以使用

Print Ltac Signatures

命令列出当前加载的所有战术，但没有直接的方法只列出一个库中的战术。