ged*_*ged 4 coq
我想查看我的证明中使用的所有公理。获取此类信息的最简单方法是什么？我将使用哪些命令、脚本或工具？我对所有公理或所有使用过的公理感兴趣。
Vin*_*inz 6
你应该使用
Print Assumptions foobar.
白话命令，在此处描述
归档时间：
9 年，4 月 前
查看次数：
353 次
最近记录：