标签： coq
我希望看到我的证据所使用的所有公理。 获取此类信息的最简单方法是什么？ 我将使用哪些命令或脚本或工具？ 我对所有公理或所有使用过的公理都很感兴趣。
答案 0 :(得分：4)
你应该使用
Print Assumptions foobar.
白话命令，描述here