你即將離開本站

並前往https://stackoverflow.com/questions/37562911/show-all-axioms-coq

Show all axioms Coq - Stack Overflow

I want to see all axioms which were used by my proof. What are the easiest ways to obtain such information? Which commands or scripts or ...

確定！ 回上一頁

查詢 「Axioms」的人也找了：

  1. axioms中文
    2.
  2. axioms意思
    3.
  3. axiom數學
    4.
  4. 公理
    5.
  5. 16 axioms
    6.
  6. Axiom Law
    7.
  7. axioms of probability中文
    8.
  8. axiom攻略
    9.