CODEWITHSUNDEEP
coq
g_d
g_d

Reputation: 707

Show all axioms Coq

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 tools I shall use? I am interested in either all axioms or all used axioms.

Upvotes: 4

Views: 687

Answers (1)

Vinz
Vinz

Reputation: 6047

You should use the

Print Assumptions foobar.

vernacular command, described here

Upvotes: 6

Related Questions